Assertion list
fart (primary) → HasProperty
Results from Ascent++: 1
fart → HasProperty → smelly 0.16