RE: [PRD] PRD ch 2.1 review

2.1 Conditions 

 

The most basic construct in RIF is the TERM. The TERM is an abstract
construct, concretly visible, in RIF-PRD, as a Const, a Var or an
External. 

Typo: "concretely"

 

2.1.1.1 Const 

The xml:lang attribute, as defined by 2.12 Language Identification of
XML 1.0 or its successor specifications in the W3C recommandation track,
is optionally used to identify the language for the presentation of the
Const to the user. 

Typo: "recommendation"

 

Constant types. RIF-PRD conformant implementations MUST support the
following builtin constant types: 

No float or Boolean types? I know we have Atom defined later, but I'd
have thought 

 

2.1.3.5 NmNot 

A FORMULA can represent the non-monotonic negation of a statement,
itself represented by a FORMULA: this is represenetd by the NmNot
construct. 

 

The NnNot element contains exactly one formula element. The formula
element contains an element of the FORMULA group, that represents the
negated statement. 

 

    <NnNot>

       <formula> FORMULA </formula>

    </NmNot>

 

Typos: NnNot or NmNot? 

Explanation: would be good to link to an explanation of what this
actually means.