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

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

A. software
B. probability distribution estimation task
C. ImmPort Conditions of Use
D. NIDA NIH Data Access Policy

Answer: software