TSPC 44_a_alresford

44_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.

arc(r_0044_0001__One_r_0044_0002__evening, r_0044_0007__dress_r_0044_0008__dance, r_0044_0003__before).
arc(r_0044_0007__dress_r_0044_0008__dance, r_0044_0004__their, gen).
arc(r_0044_0007__dress_r_0044_0008__dance, r_0044_0005__annual, attrib16).
arc(r_0044_0007__dress_r_0044_0008__dance, r_0044_0006__fancy, attrib19).
arc(r_0044_0011__and, r_0044_0010__George, conj1).
arc(r_0044_0011__and, r_0044_0012__a_r_0044_0013__colleague, conj2).
arc(r_0044_0014__were, r_0044_0016__trying_r_0044_0017__on, scope).
arc(r_0044_0016__trying_r_0044_0017__on, r_0044_0001__One_r_0044_0002__evening, nim44).
arc(r_0044_0016__trying_r_0044_0017__on, r_0044_0011__and, arg0).
arc(r_0044_0016__trying_r_0044_0017__on, r_0044_0015__secretly, nim46).
arc(r_0044_0016__trying_r_0044_0017__on, r_0044_0020__and, arg1).
arc(r_0044_0016__trying_r_0044_0017__on, r_0044_0023__home, r_0044_0022__at_nim70).
arc(r_0044_0020__and, r_0044_0011__and, gen).
arc(r_0044_0020__and, r_0044_0019__wigs, conj1).
arc(r_0044_0020__and, r_0044_0021__frocks, conj2).
arc(r_0044_0025__and, r_0044_0014__were, conj1).
arc(r_0044_0025__and, r_0044_0027___apos_d, conj2).
arc(r_0044_0027___apos_d, r_0044_0028__made_r_0044_0031__up, scope).
arc(r_0044_0027___apos_d, z_000_44_a_alresford_114, nim114).
arc(r_0044_0028__made_r_0044_0031__up, r_0044_0026__I, arg0).
arc(r_0044_0028__made_r_0044_0031__up, r_0044_0030__faces, arg1).
arc(r_0044_0028__made_r_0044_0031__up, r_0044_0033__the_r_0044_0034__point, r_0044_0032__to_nim98).
arc(r_0044_0030__faces, r_0044_0011__and, gen).
arc(r_0044_0033__the_r_0044_0034__point, r_0044_0036__applying, r_0044_0035__of).
arc(r_0044_0036__applying, r_0044_0037__mascara, arg1).
arc(r_0044_0036__applying, z_000_44_a_alresford_106, arg0).
arc(r_0044_0042__went, r_0044_0040__the_r_0044_0041__bleepers, arg0).
arc(r_0044_0042__went, r_0044_0043__off, clr126).
arc(r_0044_0042__went, z_000_44_a_alresford_114, nim116).

fof(formula,axiom,
    ? [R_0044_0004__THEIR,R_0044_0005__ANNUAL,R_0044_0006__FANCY,R_0044_0007__DRESS_R_0044_0008__DANCE,R_0044_0001__ONE_R_0044_0002__EVENING,R_0044_0010__GEORGE,R_0044_0012__A_R_0044_0013__COLLEAGUE,R_0044_0011__AND,R_0044_0015__SECRETLY,R_0044_0019__WIGS,R_0044_0021__FROCKS,R_0044_0020__AND,R_0044_0023__HOME,R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,Z_000_44_A_ALRESFORD_114,R_0044_0026__I,R_0044_0030__FACES,R_0044_0037__MASCARA,Z_000_44_A_ALRESFORD_106,R_0044_0036__APPLYING,R_0044_0033__THE_R_0044_0034__POINT,R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP,R_0044_0025__AND,R_0044_0040__THE_R_0044_0041__BLEEPERS,R_0044_0043__OFF,R_0044_0042__WENT] :
      ( r_0044_0004__their(R_0044_0004__THEIR)
      & r_0044_0005__annual(R_0044_0005__ANNUAL)
      & r_0044_0006__fancy(R_0044_0006__FANCY)
      & r_0044_0010__George(R_0044_0010__GEORGE)
      & r_0044_0012__a_r_0044_0013__colleague(R_0044_0012__A_R_0044_0013__COLLEAGUE)
      & r_0044_0015__secretly(R_0044_0015__SECRETLY)
      & r_0044_0019__wigs(R_0044_0019__WIGS)
      & r_0044_0021__frocks(R_0044_0021__FROCKS)
      & r_0044_0023__home(R_0044_0023__HOME)
      & r_0044_0026__I(R_0044_0026__I)
      & r_0044_0037__mascara(R_0044_0037__MASCARA)
      & r_0044_0040__the_r_0044_0041__bleepers(R_0044_0040__THE_R_0044_0041__BLEEPERS)
      & r_0044_0043__off(R_0044_0043__OFF)
      & z_000_44_a_alresford_106(Z_000_44_A_ALRESFORD_106)
      & z_000_44_a_alresford_114(Z_000_44_A_ALRESFORD_114)
      & r_0044_0042__went(R_0044_0042__WENT)
      & has_nim116(R_0044_0042__WENT,Z_000_44_A_ALRESFORD_114)
      & has_clr126(R_0044_0042__WENT,R_0044_0043__OFF)
      & has_arg0(R_0044_0042__WENT,R_0044_0040__THE_R_0044_0041__BLEEPERS)
      & r_0044_0025__and(R_0044_0025__AND)
      & has_conj2(R_0044_0025__AND,R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP)
      & r_0044_0027___apos_d_r_0044_0028__made_r_0044_0031__up(R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP)
      & has_r_0044_0032__to_nim98(R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP,R_0044_0033__THE_R_0044_0034__POINT)
      & r_0044_0033__the_r_0044_0034__point(R_0044_0033__THE_R_0044_0034__POINT)
      & has_r_0044_0035__of(R_0044_0033__THE_R_0044_0034__POINT,R_0044_0036__APPLYING)
      & r_0044_0036__applying(R_0044_0036__APPLYING)
      & has_arg0(R_0044_0036__APPLYING,Z_000_44_A_ALRESFORD_106)
      & has_arg1(R_0044_0036__APPLYING,R_0044_0037__MASCARA)
      & has_arg1(R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP,R_0044_0030__FACES)
      & r_0044_0030__faces(R_0044_0030__FACES)
      & has_gen(R_0044_0030__FACES,R_0044_0011__AND)
      & r_0044_0011__and(R_0044_0011__AND)
      & has_conj2(R_0044_0011__AND,R_0044_0012__A_R_0044_0013__COLLEAGUE)
      & has_conj1(R_0044_0011__AND,R_0044_0010__GEORGE)
      & has_arg0(R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP,R_0044_0026__I)
      & has_nim114(R_0044_0027___APOS_D_R_0044_0028__MADE_R_0044_0031__UP,Z_000_44_A_ALRESFORD_114)
      & has_conj1(R_0044_0025__AND,R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON)
      & r_0044_0014__were_r_0044_0016__trying_r_0044_0017__on(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON)
      & has_r_0044_0022__at_nim70(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,R_0044_0023__HOME)
      & has_arg1(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,R_0044_0020__AND)
      & r_0044_0020__and(R_0044_0020__AND)
      & has_conj2(R_0044_0020__AND,R_0044_0021__FROCKS)
      & has_conj1(R_0044_0020__AND,R_0044_0019__WIGS)
      & has_gen(R_0044_0020__AND,R_0044_0011__AND)
      & has_nim46(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,R_0044_0015__SECRETLY)
      & has_arg0(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,R_0044_0011__AND)
      & has_nim44(R_0044_0014__WERE_R_0044_0016__TRYING_R_0044_0017__ON,R_0044_0001__ONE_R_0044_0002__EVENING)
      & r_0044_0001__One_r_0044_0002__evening(R_0044_0001__ONE_R_0044_0002__EVENING)
      & has_r_0044_0003__before(R_0044_0001__ONE_R_0044_0002__EVENING,R_0044_0007__DRESS_R_0044_0008__DANCE)
      & r_0044_0007__dress_r_0044_0008__dance(R_0044_0007__DRESS_R_0044_0008__DANCE)
      & has_attrib19(R_0044_0007__DRESS_R_0044_0008__DANCE,R_0044_0006__FANCY)
      & has_attrib16(R_0044_0007__DRESS_R_0044_0008__DANCE,R_0044_0005__ANNUAL)
      & has_gen(R_0044_0007__DRESS_R_0044_0008__DANCE,R_0044_0004__THEIR) ) ).

( (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}))
                                          (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 44_a_alresford))