Page tree

Versions Compared

Key

  • 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 

...