Task: Property Constraint Reasoning (ontology: Legal/LKIF_Core_Ontology)

The property 'before' applies to instances of 'Temporal Occurrence', and 'Interval' is a subclass of 'Temporal Occurrence'. Which class can appear as the value of 'before' for instances of 'Interval'?

A. Spatio Temporal Occurrence
B. Atom
C. Pair
D. Temporal Occurrence

Answer: Temporal Occurrence