Context                Previous, Next                Top


14_a_driver_handbook
Other speed limit signs are posted for the type of roads and traffic in each area.

%3 r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs speed limit signs r_0014_0001__Other Other r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs->r_0014_0001__Other [attrib] r_0014_0005__are are r_0014_0006__posted posted r_0014_0005__are->r_0014_0006__posted [scope] r_0014_0006__posted->r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs [arg1] r_0014_0008__the_r_0014_0009__type the type r_0014_0006__posted->r_0014_0008__the_r_0014_0009__type for [nim] z_000_14_a_driver_handbook_15 r_0014_0006__posted->z_000_14_a_driver_handbook_15 [arg0] r_0014_0012__and and r_0014_0008__the_r_0014_0009__type->r_0014_0012__and of r_0014_0011__roads roads r_0014_0012__and->r_0014_0011__roads [conj1] r_0014_0013__traffic traffic r_0014_0012__and->r_0014_0013__traffic [conj2] r_0014_0016__area area r_0014_0012__and->r_0014_0016__area in r_0014_0015__each_quant each [quant] r_0014_0015__each_quant->r_0014_0012__and [scope] r_0014_0015__each_quant->r_0014_0016__area [restriction] 
arc(r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs, r_0014_0001__Other, attrib3).
arc(r_0014_0005__are, r_0014_0006__posted, scope).
arc(r_0014_0006__posted, r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs, arg1).
arc(r_0014_0006__posted, r_0014_0008__the_r_0014_0009__type, r_0014_0007__for_nim22).
arc(r_0014_0006__posted, z_000_14_a_driver_handbook_15, arg0).
arc(r_0014_0008__the_r_0014_0009__type, r_0014_0012__and, r_0014_0010__of).
arc(r_0014_0012__and, r_0014_0011__roads, conj1).
arc(r_0014_0012__and, r_0014_0013__traffic, conj2).
arc(r_0014_0012__and, r_0014_0016__area, r_0014_0014__in).
arc(r_0014_0015__each_quant, r_0014_0012__and, scope).
arc(r_0014_0015__each_quant, r_0014_0016__area, restriction).


%3 r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs speed limit signs r_0014_0001__Other Other r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs->r_0014_0001__Other [attrib] r_0014_0005__are_r_0014_0006__posted are posted r_0014_0005__are_r_0014_0006__posted->r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs [arg1] r_0014_0008__the_r_0014_0009__type the type r_0014_0005__are_r_0014_0006__posted->r_0014_0008__the_r_0014_0009__type for [nim] z_000_14_a_driver_handbook_15 r_0014_0005__are_r_0014_0006__posted->z_000_14_a_driver_handbook_15 [arg0] r_0014_0012__and and r_0014_0008__the_r_0014_0009__type->r_0014_0012__and of r_0014_0011__roads roads r_0014_0012__and->r_0014_0011__roads [conj1] r_0014_0013__traffic traffic r_0014_0012__and->r_0014_0013__traffic [conj2] r_0014_0016__area area r_0014_0012__and->r_0014_0016__area in r_0014_0015__each_quant each [quant] r_0014_0015__each_quant->r_0014_0005__are_r_0014_0006__posted [scope] r_0014_0015__each_quant->r_0014_0016__area [restriction] 
fof(formula,axiom,
    ! [R_14_16_AREA] :
      ( area(R_14_16_AREA)
     => ? [R_14_5_ARE_POSTED,Z_14_A_DRIVER_HANDBOOK_15,R_14_2_SPEED_LIMIT_SIGNS,R_14_1_OTHER,R_14_8_THE_TYPE,R_14_12_AND,R_14_11_ROADS,R_14_13_TRAFFIC] :
          ( other(R_14_1_OTHER)
          & roads(R_14_11_ROADS)
          & traffic(R_14_13_TRAFFIC)
          & are_posted(R_14_5_ARE_POSTED,Z_14_A_DRIVER_HANDBOOK_15,R_14_2_SPEED_LIMIT_SIGNS)
          & speed_limit_signs(R_14_2_SPEED_LIMIT_SIGNS)
          & attrib3(R_14_2_SPEED_LIMIT_SIGNS,R_14_1_OTHER)
          & for_nim22(R_14_5_ARE_POSTED,R_14_8_THE_TYPE)
          & the_type(R_14_8_THE_TYPE)
          & of(R_14_8_THE_TYPE,R_14_12_AND)
          & and(R_14_12_AND)
          & conj1(R_14_12_AND,R_14_11_ROADS)
          & conj2(R_14_12_AND,R_14_13_TRAFFIC)
          & in(R_14_12_AND,R_14_16_AREA) ) ) ).


n14_a_driver_handbook n14_a_driver_handbook_5 Other n14_a_driver_handbook_7 speed n14_a_driver_handbook_9 limit n14_a_driver_handbook_11 signs n14_a_driver_handbook_13 are n14_a_driver_handbook_16 * n14_a_driver_handbook_18 posted n14_a_driver_handbook_21 for n14_a_driver_handbook_24 the n14_a_driver_handbook_26 type n14_a_driver_handbook_29 of n14_a_driver_handbook_34 roads n14_a_driver_handbook_37 and n14_a_driver_handbook_40 traffic n14_a_driver_handbook_43 in n14_a_driver_handbook_46 each n14_a_driver_handbook_48 area n14_a_driver_handbook_50 . n14_a_driver_handbook_1 IP-MAT n14_a_driver_handbook_2 NP-SBJ n14_a_driver_handbook_1->n14_a_driver_handbook_2 n14_a_driver_handbook_12 BEP;_cat_VePASS_ n14_a_driver_handbook_1->n14_a_driver_handbook_12 n14_a_driver_handbook_14 IP-PPL-CAT n14_a_driver_handbook_1->n14_a_driver_handbook_14 n14_a_driver_handbook_49 PUNC n14_a_driver_handbook_1->n14_a_driver_handbook_49 n14_a_driver_handbook_3 ADJP n14_a_driver_handbook_2->n14_a_driver_handbook_3 n14_a_driver_handbook_6 N n14_a_driver_handbook_2->n14_a_driver_handbook_6 n14_a_driver_handbook_8 N n14_a_driver_handbook_2->n14_a_driver_handbook_8 n14_a_driver_handbook_10 NS n14_a_driver_handbook_2->n14_a_driver_handbook_10 n14_a_driver_handbook_4 ADJ n14_a_driver_handbook_3->n14_a_driver_handbook_4 n14_a_driver_handbook_4->n14_a_driver_handbook_5 n14_a_driver_handbook_6->n14_a_driver_handbook_7 n14_a_driver_handbook_8->n14_a_driver_handbook_9 n14_a_driver_handbook_10->n14_a_driver_handbook_11 n14_a_driver_handbook_12->n14_a_driver_handbook_13 n14_a_driver_handbook_15 NP-LGS n14_a_driver_handbook_14->n14_a_driver_handbook_15 n14_a_driver_handbook_17 VVN;_Tn_ n14_a_driver_handbook_14->n14_a_driver_handbook_17 n14_a_driver_handbook_19 PP-NIM n14_a_driver_handbook_14->n14_a_driver_handbook_19 n14_a_driver_handbook_15->n14_a_driver_handbook_16 n14_a_driver_handbook_17->n14_a_driver_handbook_18 n14_a_driver_handbook_20 P-ROLE n14_a_driver_handbook_19->n14_a_driver_handbook_20 n14_a_driver_handbook_22 NP n14_a_driver_handbook_19->n14_a_driver_handbook_22 n14_a_driver_handbook_20->n14_a_driver_handbook_21 n14_a_driver_handbook_23 D n14_a_driver_handbook_22->n14_a_driver_handbook_23 n14_a_driver_handbook_25 N n14_a_driver_handbook_22->n14_a_driver_handbook_25 n14_a_driver_handbook_27 PP n14_a_driver_handbook_22->n14_a_driver_handbook_27 n14_a_driver_handbook_23->n14_a_driver_handbook_24 n14_a_driver_handbook_25->n14_a_driver_handbook_26 n14_a_driver_handbook_28 P-ROLE n14_a_driver_handbook_27->n14_a_driver_handbook_28 n14_a_driver_handbook_30 NP n14_a_driver_handbook_27->n14_a_driver_handbook_30 n14_a_driver_handbook_28->n14_a_driver_handbook_29 n14_a_driver_handbook_31 NLYR n14_a_driver_handbook_30->n14_a_driver_handbook_31 n14_a_driver_handbook_41 PP n14_a_driver_handbook_30->n14_a_driver_handbook_41 n14_a_driver_handbook_32 NLYR n14_a_driver_handbook_31->n14_a_driver_handbook_32 n14_a_driver_handbook_35 CONJP n14_a_driver_handbook_31->n14_a_driver_handbook_35 n14_a_driver_handbook_33 NS n14_a_driver_handbook_32->n14_a_driver_handbook_33 n14_a_driver_handbook_33->n14_a_driver_handbook_34 n14_a_driver_handbook_36 CONJ n14_a_driver_handbook_35->n14_a_driver_handbook_36 n14_a_driver_handbook_38 NLYR n14_a_driver_handbook_35->n14_a_driver_handbook_38 n14_a_driver_handbook_36->n14_a_driver_handbook_37 n14_a_driver_handbook_39 N n14_a_driver_handbook_38->n14_a_driver_handbook_39 n14_a_driver_handbook_39->n14_a_driver_handbook_40 n14_a_driver_handbook_42 P-ROLE n14_a_driver_handbook_41->n14_a_driver_handbook_42 n14_a_driver_handbook_44 NP n14_a_driver_handbook_41->n14_a_driver_handbook_44 n14_a_driver_handbook_42->n14_a_driver_handbook_43 n14_a_driver_handbook_45 Q n14_a_driver_handbook_44->n14_a_driver_handbook_45 n14_a_driver_handbook_47 N n14_a_driver_handbook_44->n14_a_driver_handbook_47 n14_a_driver_handbook_45->n14_a_driver_handbook_46 n14_a_driver_handbook_47->n14_a_driver_handbook_48 n14_a_driver_handbook_49->n14_a_driver_handbook_50 
( (IP-MAT (NP-SBJ (ADJP (ADJ Other;{other}))
                  (N speed;{speed})
                  (N limit;{limit})
                  (NS signs;{sign}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ posted;{post})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (N type;{type})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (NS roads;{road}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N traffic;{traffic}))))
                                          (PP (P-ROLE in;{in})
                                              (NP (Q each;{each})
                                                  (N area;{area}))))))))
          (PUNC .))
  (ID 14_a_driver_handbook))