@key: defines a unique key attribute which can be used for distributed referencing from a keyref attribute. See
http://consumer.ruleml.org/1.02/glossary/#.40key
@keyref: defines a reference to a corresponding unique key. See
http://consumer.ruleml.org/1.02/glossary/#.40keyref