Assertion list
horizon (primary) → HasProperty
Results from Ascent++: 5
horizon → HasProperty → visible 0.52
horizon → HasProperty → open 0.42
horizon → HasProperty → clear 0.25
horizon → HasProperty → low 0.25
horizon → HasProperty → short 0.25