Assertion list
sweet orange (subgroup of orange ) → MadeOf
Results from Ascent++: 1
sweet orange → MadeOf → the type 0.25