Assertion list
paper towel (subgroup of towel ) → HasProperty
Results from Ascent++: 2
paper towel → HasProperty → the strongest 0.25
paper towel → HasProperty → strong 0.16