TSPC 67_a_lob

67_a_lob_a02
They discussed a sit-down at Watford at 5.30 p.m — none was planned but police turned up.

( (IP-MAT (NP-SBJ;{MEMBERS} (PRO They;{they}))
          (VBD;__ discussed;{discuss})
          (NP-OB1 (D a;{a})
                  (N sit_<hyphen>_down;{sit_down}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (NPR Watford;{Watford})))
          (PP-NIM (P-ROLE at;{at})
                  (NP (NUM 5<dot>30)
                      (ADVP (ADV p<dot>m;{p<dot>m}))))
          (PUNC <mdash>)
          (PRN (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ none;{none}))
                                   (BED;_cat_VePASS_ was;{be})
                                   (IP-PPL-CAT (NP-LGS *)
                                               (VVN;__ planned;{plan})))
                             (CONJP (CONJ but;{but})
                                    (ILYR (NP-SBJ (NS police;{police}))
                                          (VBD;__ turned;{turn})
                                          (RP up;{up}))))))
          (PUNC .))
  (ID 67_a_lob_a02))

arc(r_0067_0002__discussed,r_0067_0001__They,arg0).
arc(r_0067_0002__discussed,r_0067_0003__a_r_0067_0004__sit__hyphen__down,arg1).
arc(r_0067_0002__discussed,r_0067_0006__Watford,r_0067_0005__at__nim).
arc(r_0067_0002__discussed,r_0067_0008__5_dot_30,r_0067_0007__at__nim).
arc(r_0067_0002__discussed,r_0067_0014__but,prn).
arc(r_0067_0008__5_dot_30,r_0067_0009__p_dot_m,qual).
arc(r_0067_0011__none__quant,r_0067_0012__was,scope).
arc(r_0067_0011__none__quant,z_0067_5005,restriction).
arc(r_0067_0012__was,r_0067_0013__planned,scope).
arc(r_0067_0013__planned,z_0067_5005,arg1).
arc(r_0067_0013__planned,z_0067_5007___star_,arg0).
arc(r_0067_0014__but,r_0067_0011__none__quant,conj1).
arc(r_0067_0014__but,r_0067_0016__turned_r_0067_0017__up,conj2).
arc(r_0067_0016__turned_r_0067_0017__up,r_0067_0015__police,arg0).

fof(formula,axiom,
    ? [R_0067_0001__THEY,R_0067_0003__A_R_0067_0004__SIT__HYPHEN__DOWN,R_0067_0006__WATFORD,R_0067_0009__P_DOT_M,R_0067_0008__5_DOT_30,R_0067_0015__POLICE,R_0067_0016__TURNED_R_0067_0017__UP,R_0067_0014__BUT,R_0067_0002__DISCUSSED] :
      ( r_0067_0001__They(R_0067_0001__THEY)
      & r_0067_0003__a_r_0067_0004__sit__hyphen__down(R_0067_0003__A_R_0067_0004__SIT__HYPHEN__DOWN)
      & r_0067_0006__Watford(R_0067_0006__WATFORD)
      & r_0067_0009__p_dot_m(R_0067_0009__P_DOT_M)
      & r_0067_0015__police(R_0067_0015__POLICE)
      & r_0067_0002__discussed(R_0067_0002__DISCUSSED)
      & has_prn(R_0067_0002__DISCUSSED,R_0067_0014__BUT)
      & r_0067_0014__but(R_0067_0014__BUT)
      & has_conj2(R_0067_0014__BUT,R_0067_0016__TURNED_R_0067_0017__UP)
      & r_0067_0016__turned_r_0067_0017__up(R_0067_0016__TURNED_R_0067_0017__UP)
      & has_arg0(R_0067_0016__TURNED_R_0067_0017__UP,R_0067_0015__POLICE)
      & ! [Z_0067_5005] :
          ( z_0067_5005(Z_0067_5005)
         => ? [Z_0067_5007___STAR_,R_0067_0012__WAS_R_0067_0013__PLANNED] :
              ( z_0067_5007___star_(Z_0067_5007___STAR_)
              & r_0067_0012__was_r_0067_0013__planned(R_0067_0012__WAS_R_0067_0013__PLANNED)
              & has_arg0(R_0067_0012__WAS_R_0067_0013__PLANNED,Z_0067_5007___STAR_)
              & has_arg1(R_0067_0012__WAS_R_0067_0013__PLANNED,Z_0067_5005) ) )
      & has_r_0067_0007__at__nim(R_0067_0002__DISCUSSED,R_0067_0008__5_DOT_30)
      & r_0067_0008__5_dot_30(R_0067_0008__5_DOT_30)
      & has_qual(R_0067_0008__5_DOT_30,R_0067_0009__P_DOT_M)
      & has_r_0067_0005__at__nim(R_0067_0002__DISCUSSED,R_0067_0006__WATFORD)
      & has_arg1(R_0067_0002__DISCUSSED,R_0067_0003__A_R_0067_0004__SIT__HYPHEN__DOWN)
      & has_arg0(R_0067_0002__DISCUSSED,R_0067_0001__THEY) ) ).