Assertion list
traffic jam (primary) → HasProperty
Results from Ascent++: 3
traffic jam → HasProperty → common 0.59
traffic jam → HasProperty → minimal 0.44
traffic jam → HasProperty → bad 0.43