Assertion list
horn (aspect of bison ) → HasProperty

Results from Ascent++: 1
hornHasProperty black 0.41