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

The property 'Complementary contract' applies to instances of 'Public contract', and 'Derivative contract' is a subclass of 'Public contract'. Which class can appear as the value of 'Complementary contract' for instances of 'Derivative contract'?

A. Procedure void
B. Procedure waive
C. Procedure resignation
D. Public contract

Answer: Public contract