Re: semantic basis for positive conditions (action 110)

ok, thank you. got it finally -- done.

> 
> I have read over the revised semantics for positive conditions.  
>     http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions
> In general it is fine.
> 
> I have a few suggestions on wording changes, given below:
> 
> 1/    At the core of the definition of a semantic structure is the idea 
> that an
>     interpretation provides a truth value for a formula.
> 
> I don't think that I should be used here.
> 
> 2/     D a non-empty set (of domain elements),
>     Con the set of syntax elements recognized by the Con / entity 
> production,
>     Var the set of syntax elements recognized by the Var / ?name production,
>     Fun the set of syntax elements recognized by the Fun production,
>     Rel the set of syntax elements recognized by the Rel production.
> 
> 3/ Clean up the definition of I* to something like
> 
>     I*=<IC,IV*,IF,IR> where IV* is the same as IV except possibly on
>     the variables v1,...,vn
> 
> 
>