Task: SWRL-based Rule Reasoning (ontology: Arts_Media_Entertainment/Propp)

Suppose an individual ?x satisfies: I_β_Absentation(?x). Which composite conclusion about ?x and some other individual can be inferred?

A. ∃?y (Human(?y) ∧ hasAbsentee(?x, ?y))
B. ∃?y (XXV_M_Difficult_task(?y) ∧ hasAbsentee(?x, ?y))
C. ∃?y (Human(?y) ∧ hasReceiver(?x, ?y))
D. ∃?y (Donor(?y) ∧ hasAbsentee(?x, ?y))

Answer: ∃?y (Human(?y) ∧ hasAbsentee(?x, ?y))