Assertion list
data subject (subgroup of subject ) → HasProperty

Results from Ascent++: 1
data subjectHasProperty free 0.68