Context                Previous, Next                Top


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

%3 r_0003_0003__facing facing r_0003_0001__The_r_0003_0002__vehicle The vehicle r_0003_0003__facing->r_0003_0001__The_r_0003_0002__vehicle [arg0] r_0003_0004__downhill downhill r_0003_0003__facing->r_0003_0004__downhill [clr] r_0003_0005__has has r_0003_0005__has->r_0003_0001__The_r_0003_0002__vehicle [arg0] r_0003_0006__the_r_0003_0008__amount the amount r_0003_0005__has->r_0003_0006__the_r_0003_0008__amount [arg1] r_0003_0007__greater greater r_0003_0006__the_r_0003_0008__amount->r_0003_0007__greater [attrib] r_0003_0010__control control r_0003_0006__the_r_0003_0008__amount->r_0003_0010__control of r_0003_0011__when when r_0003_0011__when->r_0003_0005__has [scope] r_0003_0012__backing backing r_0003_0011__when->r_0003_0012__backing [restriction] r_0003_0012__backing->r_0003_0001__The_r_0003_0002__vehicle [arg0] 
arc(r_0003_0003__facing, r_0003_0001__The_r_0003_0002__vehicle, arg0).
arc(r_0003_0003__facing, r_0003_0004__downhill, clr10).
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, attrib18).
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).


%3 r_0003_0012__backing backing r_0003_0001__The_r_0003_0002__vehicle The vehicle r_0003_0012__backing->r_0003_0001__The_r_0003_0002__vehicle [arg0] r_0003_0011__when when r_0003_0011__when->r_0003_0012__backing [restriction] r_0003_0005__has has r_0003_0011__when->r_0003_0005__has [scope] r_0003_0005__has->r_0003_0001__The_r_0003_0002__vehicle [arg0] r_0003_0006__the_r_0003_0008__amount the amount r_0003_0005__has->r_0003_0006__the_r_0003_0008__amount [arg1] r_0003_0010__control control r_0003_0006__the_r_0003_0008__amount->r_0003_0010__control of r_0003_0007__greater greater r_0003_0006__the_r_0003_0008__amount->r_0003_0007__greater [attrib] r_0003_0003__facing facing r_0003_0003__facing->r_0003_0001__The_r_0003_0002__vehicle [arg0] r_0003_0004__downhill downhill r_0003_0003__facing->r_0003_0004__downhill [clr] 
fof(formula,axiom,
    ? [R_0003_0001__THE_R_0003_0002__VEHICLE,R_0003_0004__DOWNHILL,R_0003_0003__FACING] :
      ( r_0003_0001__The_r_0003_0002__vehicle(R_0003_0001__THE_R_0003_0002__VEHICLE)
      & r_0003_0004__downhill(R_0003_0004__DOWNHILL)
      & ! [R_0003_0012__BACKING] :
          ( ( r_0003_0012__backing(R_0003_0012__BACKING)
            & has_arg0(R_0003_0012__BACKING,R_0003_0001__THE_R_0003_0002__VEHICLE) )
         => ? [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_attrib18(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) ) )
      & r_0003_0003__facing(R_0003_0003__FACING)
      & has_clr10(R_0003_0003__FACING,R_0003_0004__DOWNHILL)
      & has_arg0(R_0003_0003__FACING,R_0003_0001__THE_R_0003_0002__VEHICLE) ) ).


n3_a_driver_handbook n3_a_driver_handbook__1_1_1_1 The n3_a_driver_handbook__1_1_2_1 vehicle n3_a_driver_handbook__1_1_3_1_1 facing n3_a_driver_handbook__1_1_3_2_1_1 downhill n3_a_driver_handbook__1_2_1 has n3_a_driver_handbook__1_3_1_1 the n3_a_driver_handbook__1_3_2_1_1 greater n3_a_driver_handbook__1_3_3_1 amount n3_a_driver_handbook__1_3_4_1_1 of n3_a_driver_handbook__1_3_4_2_1_1 control n3_a_driver_handbook__1_4_1_1 when n3_a_driver_handbook__1_4_2_1_1 backing n3_a_driver_handbook__1_5_1 . n3_a_driver_handbook__1 IP-MAT n3_a_driver_handbook__1_1 NP-SBJ n3_a_driver_handbook__1->n3_a_driver_handbook__1_1 n3_a_driver_handbook__1_2 HVP;_Tn_ n3_a_driver_handbook__1->n3_a_driver_handbook__1_2 n3_a_driver_handbook__1_3 NP-OB1 n3_a_driver_handbook__1->n3_a_driver_handbook__1_3 n3_a_driver_handbook__1_4 PP-SCON n3_a_driver_handbook__1->n3_a_driver_handbook__1_4 n3_a_driver_handbook__1_5 PUNC n3_a_driver_handbook__1->n3_a_driver_handbook__1_5 n3_a_driver_handbook__1_1_1 D n3_a_driver_handbook__1_1->n3_a_driver_handbook__1_1_1 n3_a_driver_handbook__1_1_2 N n3_a_driver_handbook__1_1->n3_a_driver_handbook__1_1_2 n3_a_driver_handbook__1_1_3 IP-PPL n3_a_driver_handbook__1_1->n3_a_driver_handbook__1_1_3 n3_a_driver_handbook__1_1_1->n3_a_driver_handbook__1_1_1_1 n3_a_driver_handbook__1_1_2->n3_a_driver_handbook__1_1_2_1 n3_a_driver_handbook__1_1_3_1 VAG;_Ip_ n3_a_driver_handbook__1_1_3->n3_a_driver_handbook__1_1_3_1 n3_a_driver_handbook__1_1_3_2 ADVP-CLR n3_a_driver_handbook__1_1_3->n3_a_driver_handbook__1_1_3_2 n3_a_driver_handbook__1_1_3_1->n3_a_driver_handbook__1_1_3_1_1 n3_a_driver_handbook__1_1_3_2_1 ADV n3_a_driver_handbook__1_1_3_2->n3_a_driver_handbook__1_1_3_2_1 n3_a_driver_handbook__1_1_3_2_1->n3_a_driver_handbook__1_1_3_2_1_1 n3_a_driver_handbook__1_2->n3_a_driver_handbook__1_2_1 n3_a_driver_handbook__1_3_1 D n3_a_driver_handbook__1_3->n3_a_driver_handbook__1_3_1 n3_a_driver_handbook__1_3_2 ADJP n3_a_driver_handbook__1_3->n3_a_driver_handbook__1_3_2 n3_a_driver_handbook__1_3_3 N n3_a_driver_handbook__1_3->n3_a_driver_handbook__1_3_3 n3_a_driver_handbook__1_3_4 PP n3_a_driver_handbook__1_3->n3_a_driver_handbook__1_3_4 n3_a_driver_handbook__1_3_1->n3_a_driver_handbook__1_3_1_1 n3_a_driver_handbook__1_3_2_1 ADJR n3_a_driver_handbook__1_3_2->n3_a_driver_handbook__1_3_2_1 n3_a_driver_handbook__1_3_2_1->n3_a_driver_handbook__1_3_2_1_1 n3_a_driver_handbook__1_3_3->n3_a_driver_handbook__1_3_3_1 n3_a_driver_handbook__1_3_4_1 P-ROLE n3_a_driver_handbook__1_3_4->n3_a_driver_handbook__1_3_4_1 n3_a_driver_handbook__1_3_4_2 NP n3_a_driver_handbook__1_3_4->n3_a_driver_handbook__1_3_4_2 n3_a_driver_handbook__1_3_4_1->n3_a_driver_handbook__1_3_4_1_1 n3_a_driver_handbook__1_3_4_2_1 N n3_a_driver_handbook__1_3_4_2->n3_a_driver_handbook__1_3_4_2_1 n3_a_driver_handbook__1_3_4_2_1->n3_a_driver_handbook__1_3_4_2_1_1 n3_a_driver_handbook__1_4_1 P-CONN n3_a_driver_handbook__1_4->n3_a_driver_handbook__1_4_1 n3_a_driver_handbook__1_4_2 IP-PPL2 n3_a_driver_handbook__1_4->n3_a_driver_handbook__1_4_2 n3_a_driver_handbook__1_4_1->n3_a_driver_handbook__1_4_1_1 n3_a_driver_handbook__1_4_2_1 VAG;_I_ n3_a_driver_handbook__1_4_2->n3_a_driver_handbook__1_4_2_1 n3_a_driver_handbook__1_4_2_1->n3_a_driver_handbook__1_4_2_1_1 n3_a_driver_handbook__1_5->n3_a_driver_handbook__1_5_1 
( (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))