Holog Should Allow per Attribute in Any Term Within op Child of Expr

[HaroldBoley]

Implement accepted option of -
http://wiki.ruleml.org/index.php/Holog_Should_Allow_per_Attribute_in_Any_Term_Within_op_Child_of_Expr#Option_3

[HaroldBoley]

Modify holog_expansion_module.rnc

Const.type.def = (Ind-datt.choice & reInd.attlist), Ind.value

to

Const.type.def = (Const-datt.choice & reConst.attlist), Ind.value

where (Const-datt.choice & reConst.attlist) is the attribute pattern for Const.

Add to same file:

Const-datt.choice |= interpretation-att-inf.choice

reConst.attlist &= reInd.attlist

[HaroldBoley]

Rename http://deliberation.ruleml.org/1.03/exa/Holog/nafhologeq/serialise_fail.ruleml into http://deliberation.ruleml.org/1.03/exa/Holog/nafhologeq/serialise.ruleml

Make op edges explicit if they wrap something other than Fun or Rel (see below).

[HaroldBoley]

Create test/rnc-test-suites/functional-test-suite/hologconstper_fail.ruleml.

Copy this file into xsd-test-suites/ and modify the associated schema information.
Execute above plan.

Rename test/rnc-test-suites/functional-test-suite/hologconstper_fail.ruleml into .../hologconstper.ruleml.

Rename test/xsd-test-suites/functional-test-suite/hologconstper_fail.ruleml into .../hologconstper.ruleml.

The op edge cannot be skipped if it wraps something other than Fun or Rel, because the normalizer wouldn't otherwise work correctly.

E.g., use

<Expr><op><Const per="value">c</Const></op> ... </Expr>

etc.