Assertion list
gps satellite (subgroup of satellite ) → HasA
Results from Ascent++: 2
gps satellite → HasA → atomic clocks 0.25
gps satellite → HasA → unique number 0.25