Assertion list
hertz (primary) → HasA
Results from Ascent++: 3
hertz → HasA → at least one lane 0.29
hertz → HasA → location 0.29
hertz → HasA → presence 0.25