Assertion list
hov lane (subgroup of lane ) → HasProperty
Results from Ascent++: 1
hov lane → HasProperty → open 0.68