Assertion list
patience (primary) → HasA
Results from Ascent++: 2
patience → HasA → limit 0.38
patience → HasA → son 0.25