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

The property 'strictly equivalent' applies to instances of 'Allowed', and 'Allowed And Disallowed' is a subclass of 'Allowed'. Which class can appear as the value of 'strictly equivalent' for instances of 'Allowed And Disallowed'?

A. Normatively Qualified
B. Precedent
C. Legal Doctrine
D. Allowed

Answer: Allowed