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

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

A. RIFF
B. software
C. First release
D. length unit

Answer: software