Assertion list
plastic wrap (primary) → HasProperty
Results from Ascent++: 1
plastic wrap → HasProperty → cheap 0.29