Assertion list
divisional application (subgroup of application ) → HasProperty
Results from Ascent++: 1
divisional application → HasProperty → separate 0.25