Assertion list
text ad (subgroup of ad ) → HasProperty
Results from Ascent++: 2
text ad → HasProperty → relevant 0.51
text ad → HasProperty → concise 0.25