Assertion list
steam turbine (subgroup of turbine ) → HasA
Results from Ascent++: 2
steam turbine → HasA → rotor 0.38
steam turbine → HasA → condenser 0.25