Assertion list
beach towel (subgroup of towel ) → ReceivesAction
Results from Ascent++: 2
beach towel → ReceivesAction → available in the property 0.25
beach towel → ReceivesAction → provided 0.25