Assertion list
lack (primary) → IsA
Results from Ascent++: 1
lack → IsA → need 0.44