Assertion list
ally (aspect of batman ) → HasProperty
Results from Ascent++: 1
ally → HasProperty → few 0.68