Assertion list
cylinder engine (subgroup of engine ) → HasA
Results from Ascent++: 1
cylinder engine → HasA → a fan of a radiator 0.25