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_0015__each_quant each [quant] r_0014_0016__area area r_0014_0015__each_quant->r_0014_0016__area [restriction] r_0014_0005__are_r_0014_0006__posted are posted r_0014_0015__each_quant->r_0014_0005__are_r_0014_0006__posted [scope] 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_0002__speed_r_0014_0003__limit_r_0014_0004__signs speed limit signs r_0014_0005__are_r_0014_0006__posted->r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs [arg1] r_0014_0012__and and r_0014_0012__and->r_0014_0016__area in r_0014_0013__traffic traffic r_0014_0012__and->r_0014_0013__traffic [conj2] r_0014_0011__roads roads r_0014_0012__and->r_0014_0011__roads [conj1] r_0014_0008__the_r_0014_0009__type->r_0014_0012__and of r_0014_0001__Other Other r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs->r_0014_0001__Other [attrib] 
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__1_1_1_1_1 Other n14_a_driver_handbook__1_1_2_1 speed n14_a_driver_handbook__1_1_3_1 limit n14_a_driver_handbook__1_1_4_1 signs n14_a_driver_handbook__1_2_1 are n14_a_driver_handbook__1_3_1_1 * n14_a_driver_handbook__1_3_2_1 posted n14_a_driver_handbook__1_3_3_1_1 for n14_a_driver_handbook__1_3_3_2_1_1 the n14_a_driver_handbook__1_3_3_2_2_1 type n14_a_driver_handbook__1_3_3_2_3_1_1 of n14_a_driver_handbook__1_3_3_2_3_2_1_1_1_1 roads n14_a_driver_handbook__1_3_3_2_3_2_1_2_1_1 and n14_a_driver_handbook__1_3_3_2_3_2_1_2_2_1_1 traffic n14_a_driver_handbook__1_3_3_2_3_2_2_1_1 in n14_a_driver_handbook__1_3_3_2_3_2_2_2_1_1 each n14_a_driver_handbook__1_3_3_2_3_2_2_2_2_1 area n14_a_driver_handbook__1_4_1 . n14_a_driver_handbook__1 IP-MAT n14_a_driver_handbook__1_1 NP-SBJ n14_a_driver_handbook__1->n14_a_driver_handbook__1_1 n14_a_driver_handbook__1_2 BEP;_cat_VePASS_ n14_a_driver_handbook__1->n14_a_driver_handbook__1_2 n14_a_driver_handbook__1_3 IP-PPL-CAT n14_a_driver_handbook__1->n14_a_driver_handbook__1_3 n14_a_driver_handbook__1_4 PUNC n14_a_driver_handbook__1->n14_a_driver_handbook__1_4 n14_a_driver_handbook__1_1_1 ADJP n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_1 n14_a_driver_handbook__1_1_2 N n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_2 n14_a_driver_handbook__1_1_3 N n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_3 n14_a_driver_handbook__1_1_4 NS n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_4 n14_a_driver_handbook__1_1_1_1 ADJ n14_a_driver_handbook__1_1_1->n14_a_driver_handbook__1_1_1_1 n14_a_driver_handbook__1_1_1_1->n14_a_driver_handbook__1_1_1_1_1 n14_a_driver_handbook__1_1_2->n14_a_driver_handbook__1_1_2_1 n14_a_driver_handbook__1_1_3->n14_a_driver_handbook__1_1_3_1 n14_a_driver_handbook__1_1_4->n14_a_driver_handbook__1_1_4_1 n14_a_driver_handbook__1_2->n14_a_driver_handbook__1_2_1 n14_a_driver_handbook__1_3_1 NP-LGS n14_a_driver_handbook__1_3->n14_a_driver_handbook__1_3_1 n14_a_driver_handbook__1_3_2 VVN;_Tn_ n14_a_driver_handbook__1_3->n14_a_driver_handbook__1_3_2 n14_a_driver_handbook__1_3_3 PP-NIM n14_a_driver_handbook__1_3->n14_a_driver_handbook__1_3_3 n14_a_driver_handbook__1_3_1->n14_a_driver_handbook__1_3_1_1 n14_a_driver_handbook__1_3_2->n14_a_driver_handbook__1_3_2_1 n14_a_driver_handbook__1_3_3_1 P-ROLE n14_a_driver_handbook__1_3_3->n14_a_driver_handbook__1_3_3_1 n14_a_driver_handbook__1_3_3_2 NP n14_a_driver_handbook__1_3_3->n14_a_driver_handbook__1_3_3_2 n14_a_driver_handbook__1_3_3_1->n14_a_driver_handbook__1_3_3_1_1 n14_a_driver_handbook__1_3_3_2_1 D n14_a_driver_handbook__1_3_3_2->n14_a_driver_handbook__1_3_3_2_1 n14_a_driver_handbook__1_3_3_2_2 N n14_a_driver_handbook__1_3_3_2->n14_a_driver_handbook__1_3_3_2_2 n14_a_driver_handbook__1_3_3_2_3 PP n14_a_driver_handbook__1_3_3_2->n14_a_driver_handbook__1_3_3_2_3 n14_a_driver_handbook__1_3_3_2_1->n14_a_driver_handbook__1_3_3_2_1_1 n14_a_driver_handbook__1_3_3_2_2->n14_a_driver_handbook__1_3_3_2_2_1 n14_a_driver_handbook__1_3_3_2_3_1 P-ROLE n14_a_driver_handbook__1_3_3_2_3->n14_a_driver_handbook__1_3_3_2_3_1 n14_a_driver_handbook__1_3_3_2_3_2 NP n14_a_driver_handbook__1_3_3_2_3->n14_a_driver_handbook__1_3_3_2_3_2 n14_a_driver_handbook__1_3_3_2_3_1->n14_a_driver_handbook__1_3_3_2_3_1_1 n14_a_driver_handbook__1_3_3_2_3_2_1 NLYR n14_a_driver_handbook__1_3_3_2_3_2->n14_a_driver_handbook__1_3_3_2_3_2_1 n14_a_driver_handbook__1_3_3_2_3_2_2 PP n14_a_driver_handbook__1_3_3_2_3_2->n14_a_driver_handbook__1_3_3_2_3_2_2 n14_a_driver_handbook__1_3_3_2_3_2_1_1 NLYR n14_a_driver_handbook__1_3_3_2_3_2_1->n14_a_driver_handbook__1_3_3_2_3_2_1_1 n14_a_driver_handbook__1_3_3_2_3_2_1_2 CONJP n14_a_driver_handbook__1_3_3_2_3_2_1->n14_a_driver_handbook__1_3_3_2_3_2_1_2 n14_a_driver_handbook__1_3_3_2_3_2_1_1_1 NS n14_a_driver_handbook__1_3_3_2_3_2_1_1->n14_a_driver_handbook__1_3_3_2_3_2_1_1_1 n14_a_driver_handbook__1_3_3_2_3_2_1_1_1->n14_a_driver_handbook__1_3_3_2_3_2_1_1_1_1 n14_a_driver_handbook__1_3_3_2_3_2_1_2_1 CONJ n14_a_driver_handbook__1_3_3_2_3_2_1_2->n14_a_driver_handbook__1_3_3_2_3_2_1_2_1 n14_a_driver_handbook__1_3_3_2_3_2_1_2_2 NLYR n14_a_driver_handbook__1_3_3_2_3_2_1_2->n14_a_driver_handbook__1_3_3_2_3_2_1_2_2 n14_a_driver_handbook__1_3_3_2_3_2_1_2_1->n14_a_driver_handbook__1_3_3_2_3_2_1_2_1_1 n14_a_driver_handbook__1_3_3_2_3_2_1_2_2_1 N n14_a_driver_handbook__1_3_3_2_3_2_1_2_2->n14_a_driver_handbook__1_3_3_2_3_2_1_2_2_1 n14_a_driver_handbook__1_3_3_2_3_2_1_2_2_1->n14_a_driver_handbook__1_3_3_2_3_2_1_2_2_1_1 n14_a_driver_handbook__1_3_3_2_3_2_2_1 P-ROLE n14_a_driver_handbook__1_3_3_2_3_2_2->n14_a_driver_handbook__1_3_3_2_3_2_2_1 n14_a_driver_handbook__1_3_3_2_3_2_2_2 NP n14_a_driver_handbook__1_3_3_2_3_2_2->n14_a_driver_handbook__1_3_3_2_3_2_2_2 n14_a_driver_handbook__1_3_3_2_3_2_2_1->n14_a_driver_handbook__1_3_3_2_3_2_2_1_1 n14_a_driver_handbook__1_3_3_2_3_2_2_2_1 Q n14_a_driver_handbook__1_3_3_2_3_2_2_2->n14_a_driver_handbook__1_3_3_2_3_2_2_2_1 n14_a_driver_handbook__1_3_3_2_3_2_2_2_2 N n14_a_driver_handbook__1_3_3_2_3_2_2_2->n14_a_driver_handbook__1_3_3_2_3_2_2_2_2 n14_a_driver_handbook__1_3_3_2_3_2_2_2_1->n14_a_driver_handbook__1_3_3_2_3_2_2_2_1_1 n14_a_driver_handbook__1_3_3_2_3_2_2_2_2->n14_a_driver_handbook__1_3_3_2_3_2_2_2_2_1 n14_a_driver_handbook__1_4->n14_a_driver_handbook__1_4_1 
( (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))