an extension point for specializations of the equation tag name.
<Equal>: an equation between two terms. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-Equal
@style: defines a reference to a semantic profile. See
http://consumer.ruleml.org/1.02/glossary/#.40style
Equations accept the header of truth-valued connectives
an extension point for stripe skipping as well as specializations of the left-hand side tag name in equations.
<left>: The left-hand side of an equation. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-left
The left-hand side role in an equation is filled by a term.
an extension point for stripe skipping as well as specializations of the right-hand side tag name in equations.
<right>: The right-hand side of an equation. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-right
The right-hand side role in an equation is filled by a term.
terms allowed in the left-hand side of an equation
terms allowed in the right-hand side of an equation