search

RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Make @index optional on formula in And and Or #59

Closed greenTara closed 8 years ago

greenTara commented 9 years ago

In the relaxed serialization, @index on And and Or is supposed to be optional, although normalization will add it to the edges where it is missing.