Assertion list
position (aspect of satellite ) → HasProperty
Results from Ascent++: 3
position → HasProperty → accurate 0.43
position → HasProperty → important 0.25
position → HasProperty → overdetermined 0.25