Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Added new section for definition not matching axioms

...

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

Recommended Changes

Definition not match axioms 

  • oc:Occurrence definition says there is both a date and a location, but there is no restriction for a date. Shoulde be added.
    "An Occurrence is a happening of an OccurrenceKind. Each Occurrence has a DateTimeStamp, which identifies when the Occurrence happened, and a Location

Making things simpler

Contract and ContractTermsSet

...