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

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

A. RIFF
B. algorithm
C. MIACA Full Copyright
D. Number of installations restricted

Answer: algorithm