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

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

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

Answer: Temporal Occurrence