Assertion list
secondary source (subgroup of source ) → HasProperty

Results from Ascent++: 1
secondary sourceHasProperty useful 0.25