Assertion list
application software (subgroup of software ) → HasProperty
Results from Ascent++: 2
application software → HasProperty → specific 0.25
application software → HasProperty → compatible 0.16