Assertion list
bufo (primary) → HasProperty
Results from Ascent++: 2
bufo → HasProperty → useful 0.68
bufo → HasProperty → suitable 0.25