TSPC 28_a_driver

28_a_driver_handbook
If no lanes are marked and there are four lanes or more in your direction, you may only drive in either of the two lanes closest to the right edge of the road.

arc(r_0028_0001__If, r_0028_0006__and, restriction).
arc(r_0028_0001__If, r_0028_0018__may, scope).
arc(r_0028_0002__no_quant, r_0028_0003__lanes, restriction).
arc(r_0028_0002__no_quant, r_0028_0004__are, scope).
arc(r_0028_0004__are, r_0028_0003__lanes, arg0).
arc(r_0028_0004__are, r_0028_0005__marked, prd).
arc(r_0028_0006__and, r_0028_0002__no_quant, conj1).
arc(r_0028_0006__and, r_0028_0007__there_r_0028_0008__are, conj2).
arc(r_0028_0007__there_r_0028_0008__are, r_0028_0011__or, arg0).
arc(r_0028_0007__there_r_0028_0008__are, r_0028_0015__direction, r_0028_0013__in_clr43).
arc(r_0028_0011__or, r_0028_0009__four_r_0028_0010__lanes, conj1).
arc(r_0028_0011__or, z_000_28_a_driver_handbook_36, conj2).
arc(r_0028_0015__direction, r_0028_0014__your, gen).
arc(r_0028_0018__may, r_0028_0022__either_quant, scope).
arc(r_0028_0020__drive, r_0028_0014__your, arg0).
arc(r_0028_0020__drive, r_0028_0019__only, nim57).
arc(r_0028_0020__drive, z_000_28_a_driver_handbook_65, r_0028_0021__in_nim65).
arc(r_0028_0022__either_quant, r_0028_0020__drive, scope).
arc(r_0028_0022__either_quant, z_000_28_a_driver_handbook_65, restriction).
arc(r_0028_0027__closest, r_0028_0029__the_r_0028_0031__edge, r_0028_0028__to).
arc(r_0028_0029__the_r_0028_0031__edge, r_0028_0030__right, attrib87).
arc(r_0028_0029__the_r_0028_0031__edge, r_0028_0033__the_r_0028_0034__road, r_0028_0032__of).
arc(z_000_28_a_driver_handbook_36, r_0028_0012__more, attrib37).
arc(z_000_28_a_driver_handbook_65, r_0028_0024__the_r_0028_0025__two_r_0028_0026__lanes, r_0028_0023__of).
arc(z_000_28_a_driver_handbook_65, r_0028_0027__closest, attrib78).

fof(formula,axiom,
    ! [R_28_6_AND,R_28_7_THERE_ARE,R_28_11_OR,R_28_9_FOUR_LANES,Z_28_A_DRIVER_HANDBOOK_36,R_28_12_MORE,R_28_15_DIRECTION,R_28_14_YOUR] :
      ( ( four_lanes(R_28_9_FOUR_LANES)
        & more(R_28_12_MORE)
        & your(R_28_14_YOUR)
        & ! [R_28_3_LANES] :
            ( lanes(R_28_3_LANES)
           => ? [R_28_4_ARE,R_28_5_MARKED] :
                ( marked(R_28_5_MARKED)
                & are(R_28_4_ARE,R_28_3_LANES,R_28_5_MARKED) ) )
        & conj1(CONJ1)
        & and(R_28_6_AND)
        & conj2(R_28_6_AND,R_28_7_THERE_ARE)
        & there_are(R_28_7_THERE_ARE,R_28_11_OR)
        & or(R_28_11_OR)
        & conj1(R_28_11_OR,R_28_9_FOUR_LANES)
        & conj2(R_28_11_OR,Z_28_A_DRIVER_HANDBOOK_36)
        & z_28_a_driver_handbook_36(Z_28_A_DRIVER_HANDBOOK_36)
        & attrib37(Z_28_A_DRIVER_HANDBOOK_36,R_28_12_MORE)
        & in_clr43(R_28_7_THERE_ARE,R_28_15_DIRECTION)
        & direction(R_28_15_DIRECTION)
        & gen(R_28_15_DIRECTION,R_28_14_YOUR) )
     => ~ ! [Z_28_A_DRIVER_HANDBOOK_65,R_28_27_CLOSEST,R_28_29_THE_EDGE,R_28_30_RIGHT,R_28_33_THE_ROAD,R_28_24_THE_TWO_LANES] :
            ( ( right(R_28_30_RIGHT)
              & the_road(R_28_33_THE_ROAD)
              & the_two_lanes(R_28_24_THE_TWO_LANES)
              & z_28_a_driver_handbook_65(Z_28_A_DRIVER_HANDBOOK_65)
              & attrib78(Z_28_A_DRIVER_HANDBOOK_65,R_28_27_CLOSEST)
              & closest(R_28_27_CLOSEST)
              & to(R_28_27_CLOSEST,R_28_29_THE_EDGE)
              & the_edge(R_28_29_THE_EDGE)
              & attrib87(R_28_29_THE_EDGE,R_28_30_RIGHT)
              & of(R_28_29_THE_EDGE,R_28_33_THE_ROAD)
              & of(Z_28_A_DRIVER_HANDBOOK_65,R_28_24_THE_TWO_LANES) )
           => ? [R_28_20_DRIVE,R_28_19_ONLY] :
                ( only(R_28_19_ONLY)
                & drive(R_28_20_DRIVE,R_28_14_YOUR)
                & nim57(R_28_20_DRIVE,R_28_19_ONLY)
                & in_nim65(R_28_20_DRIVE,Z_28_A_DRIVER_HANDBOOK_65) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (Q no;{no})
                                               (NS lanes;{lane}))
                                       (BEP;_La_ are;{be})
                                       (ADJP-PRD (ADJ marked;{marked})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (EX there;{there})
                                              (BEP;_ex_Vpr_ are;{be[in]})
                                              (NP-ESBJ (NLYR (NLYR (NUM four;{four})
                                                                   (NS lanes;{lane}))
                                                             (CONJP (CONJ or;{or})
                                                                    (NLYR (ADJP (ADJR more;{more}))))))
                                              (PP-CLR (P-ROLE in;{in})
                                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                          (N direction;{direction}))))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (VB;_I_ drive;{drive})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (Q;_nphd_ either;{either})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (NUM two;{two})
                                          (NS lanes;{lane})))
                                  (ADJP (ADJS closest;{close})
                                        (PP (P-ROLE to;{to})
                                            (NP (D the;{the})
                                                (ADJP (ADJ right;{right}))
                                                (N edge;{edge})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (N road;{road})))))))))
          (PUNC .))
  (ID 28_a_driver_handbook))