Assertion list
tracer (primary) → HasProperty
Results from Ascent++: 7
tracer → HasProperty → active 0.30
tracer → HasProperty → low 0.30
tracer → HasProperty → visible 0.25
tracer → HasProperty → fun 0.22
tracer → HasProperty → bad 0.16
tracer → HasProperty → light 0.16
tracer → HasProperty → wrong 0.16