Assertion list
bill (aspect of ibis ) → HasProperty
Results from Ascent++: 1
bill → HasProperty → red 0.68