TSPC 3_a_driver

3_a_driver_handbook
The vehicle facing downhill has the greater amount of control when backing.

( (IP-MAT (NP-SBJ;{DOWNHILL_VEHICLE} (D The;{the})
                                     (N vehicle;{vehicle})
                                     (IP-PPL (VAG;_Ip_ facing;{face[downhill]})
                                             (ADVP-CLR (ADV downhill;{downhill}))))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (D the;{the})
                  (ADJP (ADJR greater;{great}))
                  (N amount;{amount})
                  (PP (P-ROLE of;{of})
                      (NP (N control;{control}))))
          (PP-SCON (P-CONN when;{when})
                   (IP-PPL2 (VAG;_I_ backing;{back})))
          (PUNC .))
  (ID 3_a_driver_handbook))

arc(r_0003_0003__facing_r_0003_0004__downhill,r_0003_0001__The_r_0003_0002__vehicle,inv_arg0).
arc(r_0003_0005__has,r_0003_0001__The_r_0003_0002__vehicle,arg0).
arc(r_0003_0005__has,r_0003_0006__the_r_0003_0008__amount,arg1).
arc(r_0003_0006__the_r_0003_0008__amount,r_0003_0007__greater,attrib).
arc(r_0003_0006__the_r_0003_0008__amount,r_0003_0010__control,r_0003_0009__of).
arc(r_0003_0011__when,r_0003_0005__has,scope).
arc(r_0003_0011__when,r_0003_0012__backing,restriction).
arc(r_0003_0012__backing,r_0003_0001__The_r_0003_0002__vehicle,arg0).

fof(formula,axiom,
    ! [R_0003_0012__BACKING,R_0003_0003__FACING_R_0003_0004__DOWNHILL,R_0003_0001__THE_R_0003_0002__VEHICLE] :
      ( ( r_0003_0003__facing_r_0003_0004__downhill(R_0003_0003__FACING_R_0003_0004__DOWNHILL)
        & r_0003_0012__backing(R_0003_0012__BACKING)
        & has_arg0(R_0003_0012__BACKING,R_0003_0001__THE_R_0003_0002__VEHICLE)
        & r_0003_0001__The_r_0003_0002__vehicle(R_0003_0001__THE_R_0003_0002__VEHICLE)
        & has_inv_arg0(R_0003_0001__THE_R_0003_0002__VEHICLE,R_0003_0003__FACING_R_0003_0004__DOWNHILL) )
     => ? [R_0003_0007__GREATER,R_0003_0010__CONTROL,R_0003_0006__THE_R_0003_0008__AMOUNT,R_0003_0005__HAS] :
          ( r_0003_0007__greater(R_0003_0007__GREATER)
          & r_0003_0010__control(R_0003_0010__CONTROL)
          & r_0003_0005__has(R_0003_0005__HAS)
          & has_arg1(R_0003_0005__HAS,R_0003_0006__THE_R_0003_0008__AMOUNT)
          & r_0003_0006__the_r_0003_0008__amount(R_0003_0006__THE_R_0003_0008__AMOUNT)
          & has_r_0003_0009__of(R_0003_0006__THE_R_0003_0008__AMOUNT,R_0003_0010__CONTROL)
          & has_attrib(R_0003_0006__THE_R_0003_0008__AMOUNT,R_0003_0007__GREATER)
          & has_arg0(R_0003_0005__HAS,R_0003_0001__THE_R_0003_0002__VEHICLE) ) ) ).