Assertion list
general provision (subgroup of provision ) → HasProperty
Results from Ascent++: 1
general provision → HasProperty → applicable 0.64