Page tree

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • Occurrence and OccurrenceKind are not clearly distinct. Why is a Transaction event not just a subclass of Occurrence? It fits the definition. 

Payment and Payment Event

  • What is the difference - the English definition does not adequately distiguish the meanings of these two. 

Recommended Changes

Definition not match axioms