Assertion list
lawn sprinkler (subgroup of sprinkler ) → HasProperty
Results from Ascent++: 1
lawn sprinkler → HasProperty → suitable 0.59