Context                Previous, Next                Top


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

n14_a_driver_handbook n14_a_driver_handbook__1_1_1_1_1_1 Other n14_a_driver_handbook__1_1_1_2_1 speed n14_a_driver_handbook__1_1_1_3_1 limit n14_a_driver_handbook__1_1_2_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_4_1_1 in n14_a_driver_handbook__1_4_2_1_1 each n14_a_driver_handbook__1_4_2_2_1 area n14_a_driver_handbook__1_5_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 PP-NIM n14_a_driver_handbook__1->n14_a_driver_handbook__1_4 n14_a_driver_handbook__1_5 PUNC n14_a_driver_handbook__1->n14_a_driver_handbook__1_5 n14_a_driver_handbook__1_1_1 NLYR n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_1 n14_a_driver_handbook__1_1_2 NS n14_a_driver_handbook__1_1->n14_a_driver_handbook__1_1_2 n14_a_driver_handbook__1_1_1_1 ADJP n14_a_driver_handbook__1_1_1->n14_a_driver_handbook__1_1_1_1 n14_a_driver_handbook__1_1_1_2 N n14_a_driver_handbook__1_1_1->n14_a_driver_handbook__1_1_1_2 n14_a_driver_handbook__1_1_1_3 N n14_a_driver_handbook__1_1_1->n14_a_driver_handbook__1_1_1_3 n14_a_driver_handbook__1_1_1_1_1 ADJ n14_a_driver_handbook__1_1_1_1->n14_a_driver_handbook__1_1_1_1_1 n14_a_driver_handbook__1_1_1_1_1->n14_a_driver_handbook__1_1_1_1_1_1 n14_a_driver_handbook__1_1_1_2->n14_a_driver_handbook__1_1_1_2_1 n14_a_driver_handbook__1_1_1_3->n14_a_driver_handbook__1_1_1_3_1 n14_a_driver_handbook__1_1_2->n14_a_driver_handbook__1_1_2_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_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_4_1 P-ROLE n14_a_driver_handbook__1_4->n14_a_driver_handbook__1_4_1 n14_a_driver_handbook__1_4_2 NP n14_a_driver_handbook__1_4->n14_a_driver_handbook__1_4_2 n14_a_driver_handbook__1_4_1->n14_a_driver_handbook__1_4_1_1 n14_a_driver_handbook__1_4_2_1 Q n14_a_driver_handbook__1_4_2->n14_a_driver_handbook__1_4_2_1 n14_a_driver_handbook__1_4_2_2 N n14_a_driver_handbook__1_4_2->n14_a_driver_handbook__1_4_2_2 n14_a_driver_handbook__1_4_2_1->n14_a_driver_handbook__1_4_2_1_1 n14_a_driver_handbook__1_4_2_2->n14_a_driver_handbook__1_4_2_2_1 n14_a_driver_handbook__1_5->n14_a_driver_handbook__1_5_1 
( (IP-MAT (NP-SBJ (NLYR (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-NIM (P-ROLE in;{in})
                  (NP (Q each;{each})
                      (N area;{area})))
          (PUNC .))
  (ID 14_a_driver_handbook))


%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 are r_0014_0015__each__quant->r_0014_0005__are [scope] r_0014_0005__are->r_0014_0016__area in [nim] r_0014_0006__posted posted r_0014_0005__are->r_0014_0006__posted [scope] r_0014_0012__and and 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 the type r_0014_0008__the_r_0014_0009__type->r_0014_0012__and of r_0014_0006__posted->r_0014_0008__the_r_0014_0009__type for [nim] z_0014_5011___star_ * r_0014_0006__posted->z_0014_5011___star_ [arg0] r_0014_0004__signs signs r_0014_0006__posted->r_0014_0004__signs [arg1] r_0014_0002__speed_r_0014_0003__limit speed limit r_0014_0004__signs->r_0014_0002__speed_r_0014_0003__limit [nim] r_0014_0001__Other Other r_0014_0002__speed_r_0014_0003__limit->r_0014_0001__Other [attrib] 
arc(r_0014_0002__speed_r_0014_0003__limit,r_0014_0001__Other,attrib).
arc(r_0014_0004__signs,r_0014_0002__speed_r_0014_0003__limit,nim).
arc(r_0014_0005__are,r_0014_0006__posted,scope).
arc(r_0014_0005__are,r_0014_0016__area,r_0014_0014__in__nim).
arc(r_0014_0006__posted,r_0014_0004__signs,arg1).
arc(r_0014_0006__posted,r_0014_0008__the_r_0014_0009__type,r_0014_0007__for__nim).
arc(r_0014_0006__posted,z_0014_5011___star_,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_0015__each__quant,r_0014_0005__are,scope).
arc(r_0014_0015__each__quant,r_0014_0016__area,restriction).


%3 r_0014_0002__speed_r_0014_0003__limit speed limit r_0014_0001__Other Other r_0014_0002__speed_r_0014_0003__limit->r_0014_0001__Other [attrib] r_0014_0004__signs signs r_0014_0004__signs->r_0014_0002__speed_r_0014_0003__limit [nim] r_0014_0005__are_r_0014_0006__posted are posted r_0014_0005__are_r_0014_0006__posted->r_0014_0004__signs [arg1] r_0014_0016__area area r_0014_0005__are_r_0014_0006__posted->r_0014_0016__area in [nim] 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_0014_5011___star_ * r_0014_0005__are_r_0014_0006__posted->z_0014_5011___star_ [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_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_0014_0016__AREA] :
      ( r_0014_0016__area(R_0014_0016__AREA)
     => ? [R_0014_0001__OTHER,R_0014_0002__SPEED_R_0014_0003__LIMIT,R_0014_0004__SIGNS,R_0014_0011__ROADS,R_0014_0013__TRAFFIC,R_0014_0012__AND,R_0014_0008__THE_R_0014_0009__TYPE,Z_0014_5011___STAR_,R_0014_0005__ARE_R_0014_0006__POSTED] :
          ( r_0014_0001__Other(R_0014_0001__OTHER)
          & r_0014_0011__roads(R_0014_0011__ROADS)
          & r_0014_0013__traffic(R_0014_0013__TRAFFIC)
          & z_0014_5011___star_(Z_0014_5011___STAR_)
          & r_0014_0005__are_r_0014_0006__posted(R_0014_0005__ARE_R_0014_0006__POSTED)
          & has_arg0(R_0014_0005__ARE_R_0014_0006__POSTED,Z_0014_5011___STAR_)
          & has_r_0014_0007__for__nim(R_0014_0005__ARE_R_0014_0006__POSTED,R_0014_0008__THE_R_0014_0009__TYPE)
          & r_0014_0008__the_r_0014_0009__type(R_0014_0008__THE_R_0014_0009__TYPE)
          & has_r_0014_0010__of(R_0014_0008__THE_R_0014_0009__TYPE,R_0014_0012__AND)
          & r_0014_0012__and(R_0014_0012__AND)
          & has_conj2(R_0014_0012__AND,R_0014_0013__TRAFFIC)
          & has_conj1(R_0014_0012__AND,R_0014_0011__ROADS)
          & has_arg1(R_0014_0005__ARE_R_0014_0006__POSTED,R_0014_0004__SIGNS)
          & r_0014_0004__signs(R_0014_0004__SIGNS)
          & has_nim(R_0014_0004__SIGNS,R_0014_0002__SPEED_R_0014_0003__LIMIT)
          & r_0014_0002__speed_r_0014_0003__limit(R_0014_0002__SPEED_R_0014_0003__LIMIT)
          & has_attrib(R_0014_0002__SPEED_R_0014_0003__LIMIT,R_0014_0001__OTHER)
          & has_r_0014_0014__in__nim(R_0014_0005__ARE_R_0014_0006__POSTED,R_0014_0016__AREA) ) ) ).