Assertion list
foreman (primary) → HasProperty
Results from Ascent++: 2
foreman → HasProperty → active 0.71
foreman → HasProperty → good 0.16