Assertion list
pinball (primary) → HasProperty
Results from Ascent++: 2
pinball → HasProperty → illegal 0.52
pinball → HasProperty → hot 0.16