Which one is the normative RIF Syntax?
The Abstract syntax of positive conditions is done in ASN06 an object oriented syntax. Then another concrete syntax is written in an ENBF manner. Unfortunately it is neither explained which one is normative nor the mapping principles between them.
Two questions arise:
- If the EBNF is obtained from ASN06 then where are the roles arg, formula, etc ?
- If ASN is obtained from ENBF then how were obtained the above roles?
I hope the next version will clarify this issues.