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
http://www.openhealth.org