TSPC 43_a_alresford

43_a_alresford
One evening before their annual fancy dress dance, George and a colleague were secretly trying on their wigs and frocks at home, and I'd made their faces up to the point of applying mascara, when the bleepers went off.

( (IP-MAT (ILYR (ILYR (NP-TPC-125 (D One;{one})
                                  (N evening;{evening})
                                  (PP (P-ROLE before;{before})
                                      (NP (NP-GEN;{GEORGE+COLLEAGUE} (PRO;_genm_ their;{their}))
                                          (ADJP (ADJ annual;{annual}))
                                          (NLYR (ADJP (ADJ fancy;{fancy}))
                                                (N dress;{dress}))
                                          (N dance;{dance}))))
                      (PUNC ,)
                      (NP-SBJ;{GEORGE+COLLEAGUE} (NLYR (NLYR;{GEORGE} (NPR George;{George}))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (D a;{a})
                                                                    (N colleague;{colleague})))))
                      (BED;_cat_Vg_ were;{be})
                      (IP-PPL-CAT (NP-NIM *ICH*-125)
                                  (ADVP-NIM (ADV secretly;{secretly}))
                                  (VAG;_phr_Vn<=>p_ trying;{try[on]})
                                  (RP on;{on})
                                  (NP-OB1 (NP-GEN;{GEORGE+COLLEAGUE} (PRO;_genm_ their;{their}))
                                          (NLYR (NLYR (NS wigs;{wig}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (NS frocks;{frock})))))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (N home;{home})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (HVD;_cat_Ve_ <apos>d;{have})
                             (IP-PPL-CAT (VVN;_phr_Vn<=>p_ made;{make[up]})
                                         (NP-OB1 (NP-GEN;{GEORGE+COLLEAGUE} (PRO;_genm_ their;{their}))
                                                 (NS faces;{face}))
                                         (RP up;{up})
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (N point;{point})
                                                     (PP (P-ROLE of;{of})
                                                         (IP-PPL (VAG;_Tn_ applying;{apply})
                                                                 (NP-OB1 (N mascara;{mascara})))))))
                             (PUNC ,)
                             (NP-NIM (IP-REL;{BLEEPER_SOUND} (ADVP-NIM (RADV when;{when}))
                                                             (NP-SBJ;{BLEEPERS} (D the;{the})
                                                                                (NS bleepers;{bleeper}))
                                                             (VBD;_Ip_ went;{go[off]})
                                                             (ADVP-CLR (RP off;{off})))))))
          (PUNC .))
  (ID 43_a_alresford))

arc(r_0043_0001__One_r_0043_0002__evening,r_0043_0008__dance,r_0043_0003__before).
arc(r_0043_0007__dress,r_0043_0006__fancy,attrib).
arc(r_0043_0008__dance,r_0043_0005__annual,attrib).
arc(r_0043_0008__dance,r_0043_0007__dress,nim).
arc(r_0043_0008__dance,r_0043_0011__and,gen).
arc(r_0043_0011__and,r_0043_0010__George,conj1).
arc(r_0043_0011__and,r_0043_0012__a_r_0043_0013__colleague,conj2).
arc(r_0043_0014__were,r_0043_0016__trying_r_0043_0017__on,scope).
arc(r_0043_0016__trying_r_0043_0017__on,r_0043_0001__One_r_0043_0002__evening,nim).
arc(r_0043_0016__trying_r_0043_0017__on,r_0043_0011__and,arg0).
arc(r_0043_0016__trying_r_0043_0017__on,r_0043_0015__secretly,nim).
arc(r_0043_0016__trying_r_0043_0017__on,r_0043_0020__and,arg1).
arc(r_0043_0016__trying_r_0043_0017__on,r_0043_0023__home,r_0043_0022__at__nim).
arc(r_0043_0020__and,r_0043_0011__and,gen).
arc(r_0043_0020__and,r_0043_0019__wigs,conj1).
arc(r_0043_0020__and,r_0043_0021__frocks,conj2).
arc(r_0043_0025__and,r_0043_0014__were,conj1).
arc(r_0043_0025__and,r_0043_0027___apos_d,conj2).
arc(r_0043_0027___apos_d,r_0043_0028__made_r_0043_0031__up,scope).
arc(r_0043_0027___apos_d,r_0043_0039__when,nim).
arc(r_0043_0028__made_r_0043_0031__up,r_0043_0026__I,arg0).
arc(r_0043_0028__made_r_0043_0031__up,r_0043_0030__faces,arg1).
arc(r_0043_0028__made_r_0043_0031__up,r_0043_0033__the_r_0043_0034__point,r_0043_0032__to__nim).
arc(r_0043_0030__faces,r_0043_0011__and,gen).
arc(r_0043_0033__the_r_0043_0034__point,r_0043_0036__applying,r_0043_0035__of).
arc(r_0043_0036__applying,r_0043_0037__mascara,arg1).
arc(r_0043_0036__applying,z_0043_5027,arg0).
arc(r_0043_0042__went_r_0043_0043__off,r_0043_0039__when,nim).
arc(r_0043_0042__went_r_0043_0043__off,r_0043_0040__the_r_0043_0041__bleepers,arg0).

fof(formula,axiom,
    ? [R_0043_0005__ANNUAL,R_0043_0006__FANCY,R_0043_0007__DRESS,R_0043_0010__GEORGE,R_0043_0012__A_R_0043_0013__COLLEAGUE,R_0043_0011__AND,R_0043_0008__DANCE,R_0043_0001__ONE_R_0043_0002__EVENING,R_0043_0015__SECRETLY,R_0043_0019__WIGS,R_0043_0021__FROCKS,R_0043_0020__AND,R_0043_0023__HOME,R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0039__WHEN,R_0043_0026__I,R_0043_0030__FACES,R_0043_0037__MASCARA,Z_0043_5027,R_0043_0036__APPLYING,R_0043_0033__THE_R_0043_0034__POINT,R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP,R_0043_0025__AND,R_0043_0040__THE_R_0043_0041__BLEEPERS,R_0043_0042__WENT_R_0043_0043__OFF] :
      ( r_0043_0005__annual(R_0043_0005__ANNUAL)
      & r_0043_0006__fancy(R_0043_0006__FANCY)
      & r_0043_0010__George(R_0043_0010__GEORGE)
      & r_0043_0012__a_r_0043_0013__colleague(R_0043_0012__A_R_0043_0013__COLLEAGUE)
      & r_0043_0015__secretly(R_0043_0015__SECRETLY)
      & r_0043_0019__wigs(R_0043_0019__WIGS)
      & r_0043_0021__frocks(R_0043_0021__FROCKS)
      & r_0043_0023__home(R_0043_0023__HOME)
      & r_0043_0026__I(R_0043_0026__I)
      & r_0043_0037__mascara(R_0043_0037__MASCARA)
      & r_0043_0039__when(R_0043_0039__WHEN)
      & r_0043_0040__the_r_0043_0041__bleepers(R_0043_0040__THE_R_0043_0041__BLEEPERS)
      & z_0043_5027(Z_0043_5027)
      & r_0043_0042__went_r_0043_0043__off(R_0043_0042__WENT_R_0043_0043__OFF)
      & has_arg0(R_0043_0042__WENT_R_0043_0043__OFF,R_0043_0040__THE_R_0043_0041__BLEEPERS)
      & has_nim(R_0043_0042__WENT_R_0043_0043__OFF,R_0043_0039__WHEN)
      & r_0043_0025__and(R_0043_0025__AND)
      & has_conj2(R_0043_0025__AND,R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP)
      & r_0043_0027___apos_d_r_0043_0028__made_r_0043_0031__up(R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP)
      & has_r_0043_0032__to__nim(R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP,R_0043_0033__THE_R_0043_0034__POINT)
      & r_0043_0033__the_r_0043_0034__point(R_0043_0033__THE_R_0043_0034__POINT)
      & has_r_0043_0035__of(R_0043_0033__THE_R_0043_0034__POINT,R_0043_0036__APPLYING)
      & r_0043_0036__applying(R_0043_0036__APPLYING)
      & has_arg0(R_0043_0036__APPLYING,Z_0043_5027)
      & has_arg1(R_0043_0036__APPLYING,R_0043_0037__MASCARA)
      & has_arg1(R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP,R_0043_0030__FACES)
      & r_0043_0030__faces(R_0043_0030__FACES)
      & has_gen(R_0043_0030__FACES,R_0043_0011__AND)
      & r_0043_0011__and(R_0043_0011__AND)
      & has_conj2(R_0043_0011__AND,R_0043_0012__A_R_0043_0013__COLLEAGUE)
      & has_conj1(R_0043_0011__AND,R_0043_0010__GEORGE)
      & has_arg0(R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP,R_0043_0026__I)
      & has_nim(R_0043_0027___APOS_D_R_0043_0028__MADE_R_0043_0031__UP,R_0043_0039__WHEN)
      & has_conj1(R_0043_0025__AND,R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON)
      & r_0043_0014__were_r_0043_0016__trying_r_0043_0017__on(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON)
      & has_r_0043_0022__at__nim(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0023__HOME)
      & has_arg1(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0020__AND)
      & r_0043_0020__and(R_0043_0020__AND)
      & has_conj2(R_0043_0020__AND,R_0043_0021__FROCKS)
      & has_conj1(R_0043_0020__AND,R_0043_0019__WIGS)
      & has_gen(R_0043_0020__AND,R_0043_0011__AND)
      & has_nim(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0015__SECRETLY)
      & has_arg0(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0011__AND)
      & has_nim(R_0043_0014__WERE_R_0043_0016__TRYING_R_0043_0017__ON,R_0043_0001__ONE_R_0043_0002__EVENING)
      & r_0043_0001__One_r_0043_0002__evening(R_0043_0001__ONE_R_0043_0002__EVENING)
      & has_r_0043_0003__before(R_0043_0001__ONE_R_0043_0002__EVENING,R_0043_0008__DANCE)
      & r_0043_0008__dance(R_0043_0008__DANCE)
      & has_gen(R_0043_0008__DANCE,R_0043_0011__AND)
      & has_nim(R_0043_0008__DANCE,R_0043_0007__DRESS)
      & r_0043_0007__dress(R_0043_0007__DRESS)
      & has_attrib(R_0043_0007__DRESS,R_0043_0006__FANCY)
      & has_attrib(R_0043_0008__DANCE,R_0043_0005__ANNUAL) ) ).