Assertion list
lr (primary) → IsA
Results from Ascent++: 2
lr → IsA → removed pending agreed solution 0.41
lr → IsA → carefree mobility solution 0.16