Assertion list
pawl (primary) → HasProperty
Results from Ascent++: 2
pawl → HasProperty → movable 0.40
pawl → HasProperty → obvious 0.25