Assertion: satellite | /r/CapableOf | attempt solving equation
Facets:
Source sentences:
text: Since the equations have four unknowns [x, y, z, b]—the three components of GPS receiver position and the clock bias—signals from at least four satellites are necessary to attempt solving these equations.