Sect 2.6 Relation/Relation

[riannella]

From https://github.com/joshcornejo

Text:

Explicit sub-properties of the abstract relation, relation and failure properties must be used, the choice depending on the subclass of Rule in question.

I think there is a mistake here: "abstract relation, relation", or needs further clarification (not sure why "relation" is twice).

Also as I pasted the text, Grammarly recommended removing "the choice" as it is redundant in the sentence.

[riannella]

I think the second "relation" is meant to be "function".

Will update to be

Explicit sub-properties of the abstract relation, function and failure properties must be used depending on the subclass of Rule in question.

[riannella]

Note, this has already been reported and added as errata:
#301