Assertion list
provision (primary) → IsA
Results from Ascent++: 1
provision → IsA → condition 0.56