Assertion list
track (aspect of railroad ) → HasProperty
Results from Ascent++: 4
track → HasProperty → clear 0.44
track → HasProperty → complete 0.35
track → HasProperty → safe 0.32
track → HasProperty → visible 0.29