Assertion list
provisional application (subgroup of application ) → HasProperty
Results from Ascent++: 1
provisional application → HasProperty → useful 0.30