...

• 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 

...