Structured Modeling Schema for the Satellite Model

&&&&&&&&&&&&&&&&&&&&&&& Schema for SATELLITE 
&&&&&&&&&&&&&&&&&&&&&&&

&SATELLITE

     SATELLITE /pe/ There is a SATELLITE in space.

     OBJECT /pe/ There is an OBJECT in space.

     S_MASS ( SATELLITE ) /a/ : Real+ The SATELLITE has a 
     certain SATELLITE MASS in kg.

     O_MASS ( OBJECT ) /va/ : Real+ The OBJECT has a certain 
     OBJECT MASS in kg.

     D ( SATELLITE OBJECT ) /va/ : Real+ THE SATELLITE and 
     OBJECT are a certain DISTANCE apart in metters.

     FORCE ( S_MASS O_MASS D ) /f/; 6.67 * 10^(-11) * S_MASS * 
     O_MASS/ D^2 The OBJECT exerts a certain FORCE on the 
     SATELLITE, in newtons, according to Newton's Law of 
     Gravitation.

     THREAT ( FORCE ) /t/; FORCE > 10^(-6) The OBJECT is a 
     THREAT to the SATELLITE if and only if it exerts a FORCE of
     greater than one millionth of a newton.