semantic basis for positive conditions (action 110)

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