Assertion list
gps satellite (subgroup of satellite ) → HasProperty
Results from Ascent++: 1
gps satellite → HasProperty → visible 0.44