Re: Statements/Stating: a proposition

Jonas Liljegren wrote:

> S2 and S3 represents the same statement. But their presens in two
> diffrent models also makes them two diffrent statings.  We can merge
> them, and they will still be two diffrent statings:
>  S1: [Bush, won, the election]
>  S2: [S1, isTrue, yes]
>  S3: [S2, model, http://foo]
>  S4: [S2, model, http://bar]

Perhaps we can agree on the following simple modification:

    S4: [http://foo, _1, S2]
    S5: [http://bar, _1, S2]

to denote membership (containment) of a statement in a model/context.

Jonathan Borden
The Open Healthcare Group

Received on Thursday, 21 December 2000 12:10:58 UTC