Assertion list
gps receiver (subgroup of receiver ) → HasA
Results from Ascent++: 2
gps receiver → HasA → detailed mapping 0.31
gps receiver → HasA → computer 0.25