Assertion list
gps receiver (subgroup of receiver ) → ReceivesAction
Results from Ascent++: 3
gps receiver → ReceivesAction → tuned to frequency 0.41
gps receiver → ReceivesAction → composed of antenna 0.25
gps receiver → ReceivesAction → provided with approximate date 0.25