Assertion list
primary source (subgroup of source ) → HasProperty
Results from Ascent++: 1
primary source → HasProperty → silent 0.25