Assertion list
written contract (subgroup of contract ) → HasA
Results from Ascent++: 1
written contract → HasA → specific information 0.25