Assertion list
conventional oven (subgroup of oven ) → HasA
Results from Ascent++: 1
conventional oven → HasA → simple thermostat 0.25