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

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

A. software
B. pathologic primary tumor stage for kidney according to AJCC 7th edition
C. statistical model validation
D. BRENDA License

Answer: software