Assertion list
option contract (subgroup of contract ) → IsA
Results from Ascent++: 1
option contract → IsA → agreement 0.42