Assertion list
practical joke (primary) → HasProperty
Results from Ascent++: 1
practical joke → HasProperty → reversible 0.29