Assertion list
lifter (primary) → IsA
Results from Ascent++: 3
lifter → IsA → given 1 minute 0.25
lifter → IsA → granted further attempt 0.25
lifter → IsA → steve sherwood 0.16