Assertion list
local farmer (subgroup of farmer ) → HasProperty
Results from Ascent++: 1
local farmer → HasProperty → happy 0.16