Assertion list
written contract (subgroup of contract ) → IsA
Results from Ascent++: 3
written contract → IsA → the best thing 0.60
written contract → IsA → good idea 0.56
written contract → IsA → easier to prove 0.50