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_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] 
fof(formula,axiom,
    ? [R_3_3_FACING,R_3_1_THE_VEHICLE,R_3_4_DOWNHILL] :
      ( the_vehicle(R_3_1_THE_VEHICLE)
      & downhill(R_3_4_DOWNHILL)
      & facing(R_3_3_FACING,R_3_1_THE_VEHICLE)
      & clr10(R_3_3_FACING,R_3_4_DOWNHILL)
      & ! [R_3_12_BACKING] :
          ( backing(R_3_12_BACKING,R_3_1_THE_VEHICLE)
         => ? [R_3_5_HAS,R_3_6_THE_AMOUNT,R_3_7_GREATER,R_3_10_CONTROL] :
              ( greater(R_3_7_GREATER)
              & control(R_3_10_CONTROL)
              & has(R_3_5_HAS,R_3_1_THE_VEHICLE,R_3_6_THE_AMOUNT)
              & the_amount(R_3_6_THE_AMOUNT)
              & attrib18(R_3_6_THE_AMOUNT,R_3_7_GREATER)
              & of(R_3_6_THE_AMOUNT,R_3_10_CONTROL) ) ) ) ).


n3_a_driver_handbook n3_a_driver_handbook_4 The n3_a_driver_handbook_6 vehicle n3_a_driver_handbook_9 facing n3_a_driver_handbook_12 downhill n3_a_driver_handbook_14 has n3_a_driver_handbook_17 the n3_a_driver_handbook_20 greater n3_a_driver_handbook_22 amount n3_a_driver_handbook_25 of n3_a_driver_handbook_28 control n3_a_driver_handbook_31 when n3_a_driver_handbook_34 backing n3_a_driver_handbook_36 . n3_a_driver_handbook_1 IP-MAT n3_a_driver_handbook_2 NP-SBJ n3_a_driver_handbook_1->n3_a_driver_handbook_2 n3_a_driver_handbook_13 HVP;_Tn_ n3_a_driver_handbook_1->n3_a_driver_handbook_13 n3_a_driver_handbook_15 NP-OB1 n3_a_driver_handbook_1->n3_a_driver_handbook_15 n3_a_driver_handbook_29 PP-SCON n3_a_driver_handbook_1->n3_a_driver_handbook_29 n3_a_driver_handbook_35 PUNC n3_a_driver_handbook_1->n3_a_driver_handbook_35 n3_a_driver_handbook_3 D n3_a_driver_handbook_2->n3_a_driver_handbook_3 n3_a_driver_handbook_5 N n3_a_driver_handbook_2->n3_a_driver_handbook_5 n3_a_driver_handbook_7 IP-PPL n3_a_driver_handbook_2->n3_a_driver_handbook_7 n3_a_driver_handbook_3->n3_a_driver_handbook_4 n3_a_driver_handbook_5->n3_a_driver_handbook_6 n3_a_driver_handbook_8 VAG;_Ip_ n3_a_driver_handbook_7->n3_a_driver_handbook_8 n3_a_driver_handbook_10 ADVP-CLR n3_a_driver_handbook_7->n3_a_driver_handbook_10 n3_a_driver_handbook_8->n3_a_driver_handbook_9 n3_a_driver_handbook_11 ADV n3_a_driver_handbook_10->n3_a_driver_handbook_11 n3_a_driver_handbook_11->n3_a_driver_handbook_12 n3_a_driver_handbook_13->n3_a_driver_handbook_14 n3_a_driver_handbook_16 D n3_a_driver_handbook_15->n3_a_driver_handbook_16 n3_a_driver_handbook_18 ADJP n3_a_driver_handbook_15->n3_a_driver_handbook_18 n3_a_driver_handbook_21 N n3_a_driver_handbook_15->n3_a_driver_handbook_21 n3_a_driver_handbook_23 PP n3_a_driver_handbook_15->n3_a_driver_handbook_23 n3_a_driver_handbook_16->n3_a_driver_handbook_17 n3_a_driver_handbook_19 ADJR n3_a_driver_handbook_18->n3_a_driver_handbook_19 n3_a_driver_handbook_19->n3_a_driver_handbook_20 n3_a_driver_handbook_21->n3_a_driver_handbook_22 n3_a_driver_handbook_24 P-ROLE n3_a_driver_handbook_23->n3_a_driver_handbook_24 n3_a_driver_handbook_26 NP n3_a_driver_handbook_23->n3_a_driver_handbook_26 n3_a_driver_handbook_24->n3_a_driver_handbook_25 n3_a_driver_handbook_27 N n3_a_driver_handbook_26->n3_a_driver_handbook_27 n3_a_driver_handbook_27->n3_a_driver_handbook_28 n3_a_driver_handbook_30 P-CONN n3_a_driver_handbook_29->n3_a_driver_handbook_30 n3_a_driver_handbook_32 IP-PPL2 n3_a_driver_handbook_29->n3_a_driver_handbook_32 n3_a_driver_handbook_30->n3_a_driver_handbook_31 n3_a_driver_handbook_33 VAG;_I_ n3_a_driver_handbook_32->n3_a_driver_handbook_33 n3_a_driver_handbook_33->n3_a_driver_handbook_34 n3_a_driver_handbook_35->n3_a_driver_handbook_36 
( (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))