Assertion list
watchman (primary) → HasProperty
Results from Ascent++: 5
watchman → HasProperty → alert 0.68
watchman → HasProperty → asleep 0.50
watchman → HasProperty → blind 0.41
watchman → HasProperty → faithful 0.38
watchman → HasProperty → silent 0.26