TSPC 84_a_alresford

84_a_alresford
An all - day event celebrating the 150th anniversary of Ropley School is another highlight, when a procession from Ropley to Bishops Sutton, of horse - drawn carts, and children in Victorian costume, slowed traffic on the A31.

arc(r_0084_0002__all_quant, r_0084_0001__An_r_0084_0004__day_r_0084_0005__event, restriction).
arc(r_0084_0002__all_quant, r_0084_0017__when, scope).
arc(r_0084_0006__celebrating, r_0084_0001__An_r_0084_0004__day_r_0084_0005__event, arg0).
arc(r_0084_0006__celebrating, r_0084_0007__the_r_0084_0009__anniversary, arg1).
arc(r_0084_0007__the_r_0084_0009__anniversary, r_0084_0008__150th, attrib19).
arc(r_0084_0007__the_r_0084_0009__anniversary, r_0084_0011__Ropley_r_0084_0012__School, r_0084_0010__of).
arc(r_0084_0013__is, r_0084_0001__An_r_0084_0004__day_r_0084_0005__event, arg0).
arc(r_0084_0013__is, r_0084_0014__another_r_0084_0015__highlight, prd).
arc(r_0084_0017__when, r_0084_0013__is, scope).
arc(r_0084_0017__when, r_0084_0038__slowed, restriction).
arc(r_0084_0018__a_r_0084_0019__procession, r_0084_0021__Ropley, r_0084_0020__from).
arc(r_0084_0018__a_r_0084_0019__procession, r_0084_0023__Bishops_r_0084_0024__Sutton, r_0084_0022__to).
arc(r_0084_0018__a_r_0084_0019__procession, r_0084_0032__and, r_0084_0026__of).
arc(r_0084_0029__drawn, r_0084_0027__horse, arg0).
arc(r_0084_0029__drawn, r_0084_0030__carts, arg1).
arc(r_0084_0032__and, r_0084_0030__carts, conj1).
arc(r_0084_0032__and, r_0084_0033__children, conj2).
arc(r_0084_0033__children, r_0084_0036__costume, r_0084_0034__in).
arc(r_0084_0036__costume, r_0084_0035__Victorian, attrib94).
arc(r_0084_0038__slowed, r_0084_0018__a_r_0084_0019__procession, arg0).
arc(r_0084_0038__slowed, r_0084_0039__traffic, arg1).
arc(r_0084_0039__traffic, r_0084_0041__the_r_0084_0042__A31, r_0084_0040__on).

fof(formula,axiom,
    ? [R_0084_0027__HORSE,R_0084_0030__CARTS,R_0084_0029__DRAWN] :
      ( r_0084_0027__horse(R_0084_0027__HORSE)
      & r_0084_0030__carts(R_0084_0030__CARTS)
      & r_0084_0029__drawn(R_0084_0029__DRAWN)
      & has_arg1(R_0084_0029__DRAWN,R_0084_0030__CARTS)
      & has_arg0(R_0084_0029__DRAWN,R_0084_0027__HORSE)
      & ! [R_0084_0001__AN_R_0084_0004__DAY_R_0084_0005__EVENT,R_0084_0008__150TH,R_0084_0011__ROPLEY_R_0084_0012__SCHOOL,R_0084_0007__THE_R_0084_0009__ANNIVERSARY,R_0084_0006__CELEBRATING] :
          ( ( r_0084_0001__An_r_0084_0004__day_r_0084_0005__event(R_0084_0001__AN_R_0084_0004__DAY_R_0084_0005__EVENT)
            & r_0084_0008__150th(R_0084_0008__150TH)
            & r_0084_0011__Ropley_r_0084_0012__School(R_0084_0011__ROPLEY_R_0084_0012__SCHOOL)
            & r_0084_0006__celebrating(R_0084_0006__CELEBRATING)
            & has_arg1(R_0084_0006__CELEBRATING,R_0084_0007__THE_R_0084_0009__ANNIVERSARY)
            & r_0084_0007__the_r_0084_0009__anniversary(R_0084_0007__THE_R_0084_0009__ANNIVERSARY)
            & has_r_0084_0010__of(R_0084_0007__THE_R_0084_0009__ANNIVERSARY,R_0084_0011__ROPLEY_R_0084_0012__SCHOOL)
            & has_attrib19(R_0084_0007__THE_R_0084_0009__ANNIVERSARY,R_0084_0008__150TH)
            & has_arg0(R_0084_0006__CELEBRATING,R_0084_0001__AN_R_0084_0004__DAY_R_0084_0005__EVENT) )
         => ! [R_0084_0038__SLOWED,R_0084_0021__ROPLEY,R_0084_0023__BISHOPS_R_0084_0024__SUTTON,R_0084_0035__VICTORIAN,R_0084_0036__COSTUME,R_0084_0033__CHILDREN,R_0084_0032__AND,R_0084_0018__A_R_0084_0019__PROCESSION,R_0084_0041__THE_R_0084_0042__A31,R_0084_0039__TRAFFIC] :
              ( ( r_0084_0021__Ropley(R_0084_0021__ROPLEY)
                & r_0084_0023__Bishops_r_0084_0024__Sutton(R_0084_0023__BISHOPS_R_0084_0024__SUTTON)
                & r_0084_0035__Victorian(R_0084_0035__VICTORIAN)
                & r_0084_0041__the_r_0084_0042__A31(R_0084_0041__THE_R_0084_0042__A31)
                & r_0084_0038__slowed(R_0084_0038__SLOWED)
                & has_arg1(R_0084_0038__SLOWED,R_0084_0039__TRAFFIC)
                & r_0084_0039__traffic(R_0084_0039__TRAFFIC)
                & has_r_0084_0040__on(R_0084_0039__TRAFFIC,R_0084_0041__THE_R_0084_0042__A31)
                & has_arg0(R_0084_0038__SLOWED,R_0084_0018__A_R_0084_0019__PROCESSION)
                & r_0084_0018__a_r_0084_0019__procession(R_0084_0018__A_R_0084_0019__PROCESSION)
                & has_r_0084_0026__of(R_0084_0018__A_R_0084_0019__PROCESSION,R_0084_0032__AND)
                & r_0084_0032__and(R_0084_0032__AND)
                & has_conj2(R_0084_0032__AND,R_0084_0033__CHILDREN)
                & r_0084_0033__children(R_0084_0033__CHILDREN)
                & has_r_0084_0034__in(R_0084_0033__CHILDREN,R_0084_0036__COSTUME)
                & r_0084_0036__costume(R_0084_0036__COSTUME)
                & has_attrib94(R_0084_0036__COSTUME,R_0084_0035__VICTORIAN)
                & has_conj1(R_0084_0032__AND,R_0084_0030__CARTS)
                & has_r_0084_0022__to(R_0084_0018__A_R_0084_0019__PROCESSION,R_0084_0023__BISHOPS_R_0084_0024__SUTTON)
                & has_r_0084_0020__from(R_0084_0018__A_R_0084_0019__PROCESSION,R_0084_0021__ROPLEY) )
             => ? [R_0084_0014__ANOTHER_R_0084_0015__HIGHLIGHT,R_0084_0013__IS] :
                  ( r_0084_0014__another_r_0084_0015__highlight(R_0084_0014__ANOTHER_R_0084_0015__HIGHLIGHT)
                  & r_0084_0013__is(R_0084_0013__IS)
                  & has_prd(R_0084_0013__IS,R_0084_0014__ANOTHER_R_0084_0015__HIGHLIGHT)
                  & has_arg0(R_0084_0013__IS,R_0084_0001__AN_R_0084_0004__DAY_R_0084_0005__EVENT) ) ) ) ) ).

( (IP-MAT (NP-SBJ;{RS_EVENT} (D An;{a})
                             (Q all;{all})
                             (PUNC <hyphen>)
                             (N day;{day})
                             (N event;{event})
                             (IP-PPL (VAG;_Tn_ celebrating;{celebrate})
                                     (NP-OB1 (D the;{the})
                                             (ADJP (ADJ 150th))
                                             (N anniversary;{anniversary})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NPR Ropley;{Ropley})
                                                     (NPR School;{School}))))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D another;{another})
                  (N highlight;{highlight}))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (N procession;{procession})
                                   (PP (P-ROLE from;{from})
                                       (NP (NPR Ropley;{Ropley})))
                                   (PP (P-ROLE to;{to})
                                       (NP (NPR Bishops;{Bishops})
                                           (NPR Sutton;{Sutton})))
                                   (PUNC ,)
                                   (PP (P-ROLE of;{of})
                                       (NP (NLYR (NLYR (IP-PPL (NP-LGS (N horse;{horse}))
                                                               (PUNC <hyphen>)
                                                               (VVN;_Tn_ drawn;{draw}))
                                                       (NS carts;{cart}))
                                                 (PUNC ,)
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (NS children;{child})
                                                              (PP (P-ROLE in;{in})
                                                                  (NP (ADJP (ADJ Victorian;{Victorian}))
                                                                      (N costume;{costume})))))))))
                           (PUNC ,)
                           (VBD;_Tn_ slowed;{slow})
                           (NP-OB1 (N traffic;{traffic})
                                   (PP (P-ROLE on;{on})
                                       (NP (D the;{the})
                                           (NPR A31))))))
          (PUNC .))
  (ID 84_a_alresford))