Assertion list
seeing eye dog (primary) → HasProperty
Results from Ascent++: 1
seeing eye dog → HasProperty → welcome 0.75