Assertion list
local resident (subgroup of resident ) → HasProperty
Results from Ascent++: 2
local resident → HasProperty → angry 0.44
local resident → HasProperty → unhappy 0.29