Task: Property Constraint Reasoning (ontology: Sciences/Computer_Science)

The property 'is software for' applies to instances of 'software', and 'TCoffee' is a subclass of 'software'. Which class can appear as the value of 'is software for' for instances of 'TCoffee'?

A. MPL
B. denotator type
C. software
D. NONMEM data format

Answer: software