Assertion list
position (aspect of satellite ) → CapableOf
Results from Ascent++: 3
position → CapableOf → use 24 satellites 0.49
position → CapableOf → change in way 0.25
position → CapableOf → use gps 0.25