Assertion list
split air conditioner (subgroup of air conditioner ) → HasProperty
Results from Ascent++: 3
split air conditioner → HasProperty → less noisy 0.59
split air conditioner → HasProperty → steeper 0.57
split air conditioner → HasProperty → economical 0.44