Assertion list
weatherman (primary) → HasProperty
Results from Ascent++: 2
weatherman → HasProperty → wrong 0.68
weatherman → HasProperty → right 0.16