Assertion list
time slot (primary) → HasProperty
Results from Ascent++: 3
time slot → HasProperty → acceptable 0.40
time slot → HasProperty → free 0.30
time slot → HasProperty → active 0.25