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

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

A. Allowed
B. International Agreement
C. Proclamation
D. Legal Doctrine

Answer: Allowed