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

The property 'Contract or procedure extinction' applies to instances of 'Public contract', and 'Contract with lots' is a subclass of 'Public contract'. Which class can appear as the value of 'Contract or procedure extinction' for instances of 'Contract with lots'?

A. Contract bodies
B. Contract procedure
C. Contract or procedure extinction
D. Contracting body agreement

Answer: Contract or procedure extinction