Assertion list
red grape (subgroup of grape ) → CapableOf
Results from Ascent++: 1
red grape → CapableOf → produce white wine 0.25