Task: SWRL-based Rule Reasoning (ontology: Earth_Environment/SWEET)

Suppose an individual ?x satisfies: quotient(?x). Which conclusion is one valid inferred conclusion?

A. sum(?x)
B. subtraction(?x)
C. binary operation(?x)
D. multiplication(?x)

Answer: binary operation(?x)