Assertion list for term "easier to prove".
Results from Ascent++: 1
written contract (subgroup of contract) → IsA → easier to prove 0.50