TSPC 45_a_alresford

45_a_alresford
Convinced it was a hoax until it became clear that a chimney in the Pink House across Broad Street was on fire they attended as they were, only to be told ‘to keep out of the way, ladies’.

arc(r_0045_0001__Convinced, r_0045_0003__was, arg1).
arc(r_0045_0001__Convinced, r_0045_0023__they, arg2).
arc(r_0045_0001__Convinced, z_000_45_a_alresford_4, arg0).
arc(r_0045_0003__was, r_0045_0002__it, arg0).
arc(r_0045_0003__was, r_0045_0004__a_r_0045_0005__hoax, prd).
arc(r_0045_0006__until, r_0045_0001__Convinced, scope).
arc(r_0045_0006__until, r_0045_0008__became, restriction).
arc(r_0045_0008__became, r_0045_0009__clear, prd).
arc(r_0045_0008__became, r_0045_0010__that_r_0045_0020__was, arg0).
arc(r_0045_0010__that_r_0045_0020__was, r_0045_0011__a_r_0045_0012__chimney, arg0).
arc(r_0045_0010__that_r_0045_0020__was, r_0045_0022__fire, r_0045_0021__on_clr64).
arc(r_0045_0011__a_r_0045_0012__chimney, r_0045_0014__the_r_0045_0015__Pink_r_0045_0016__House, r_0045_0013__in).
arc(r_0045_0014__the_r_0045_0015__Pink_r_0045_0016__House, r_0045_0018__Broad_r_0045_0019__Street, r_0045_0017__across).
arc(r_0045_0024__attended, r_0045_0023__they, arg0).
arc(r_0045_0024__attended, z_000_45_a_alresford_72, nim72).
arc(r_0045_0027__were, r_0045_0023__they, arg0).
arc(r_0045_0027__were, z_000_45_a_alresford_72, prd).
arc(r_0045_0030__to_r_0045_0031__be, r_0045_0029__only, nim86).
arc(r_0045_0030__to_r_0045_0031__be, r_0045_0032__told, scope).
arc(r_0045_0032__told, r_0045_0023__they, arg2).
arc(r_0045_0032__told, r_0045_0034__to_r_0045_0035__keep, arg1).
arc(r_0045_0032__told, z_000_45_a_alresford_94, arg0).
arc(r_0045_0034__to_r_0045_0035__keep, r_0045_0023__they, arg0).
arc(r_0045_0034__to_r_0045_0035__keep, r_0045_0037__the_r_0045_0038__way, r_0045_0036__out_of_clr108).
arc(r_0045_0034__to_r_0045_0035__keep, r_0045_0040__ladies, nim115).
arc(z_000_45_a_alresford_2, r_0045_0006__until, restriction).
arc(z_000_45_a_alresford_2, z_000_45_a_alresford_84, scope).
arc(z_000_45_a_alresford_84, r_0045_0024__attended, scope).
arc(z_000_45_a_alresford_84, r_0045_0030__to_r_0045_0031__be, restriction).

fof(formula,axiom,
    ? [R_0045_0023__THEY,Z_000_45_A_ALRESFORD_72,R_0045_0027__WERE,R_0045_0002__IT,R_0045_0004__A_R_0045_0005__HOAX,R_0045_0003__WAS,Z_000_45_A_ALRESFORD_4,R_0045_0001__CONVINCED,R_0045_0009__CLEAR,R_0045_0018__BROAD_R_0045_0019__STREET,R_0045_0014__THE_R_0045_0015__PINK_R_0045_0016__HOUSE,R_0045_0011__A_R_0045_0012__CHIMNEY,R_0045_0022__FIRE,R_0045_0010__THAT_R_0045_0020__WAS,R_0045_0008__BECAME,R_0045_0006__UNTIL,R_0045_0024__ATTENDED,R_0045_0029__ONLY,R_0045_0037__THE_R_0045_0038__WAY,R_0045_0040__LADIES,R_0045_0034__TO_R_0045_0035__KEEP,Z_000_45_A_ALRESFORD_94,R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD,Z_000_45_A_ALRESFORD_84,Z_000_45_A_ALRESFORD_2] :
      ( r_0045_0002__it(R_0045_0002__IT)
      & r_0045_0004__a_r_0045_0005__hoax(R_0045_0004__A_R_0045_0005__HOAX)
      & r_0045_0009__clear(R_0045_0009__CLEAR)
      & r_0045_0018__Broad_r_0045_0019__Street(R_0045_0018__BROAD_R_0045_0019__STREET)
      & r_0045_0022__fire(R_0045_0022__FIRE)
      & r_0045_0023__they(R_0045_0023__THEY)
      & r_0045_0029__only(R_0045_0029__ONLY)
      & r_0045_0037__the_r_0045_0038__way(R_0045_0037__THE_R_0045_0038__WAY)
      & r_0045_0040__ladies(R_0045_0040__LADIES)
      & z_000_45_a_alresford_4(Z_000_45_A_ALRESFORD_4)
      & z_000_45_a_alresford_72(Z_000_45_A_ALRESFORD_72)
      & z_000_45_a_alresford_94(Z_000_45_A_ALRESFORD_94)
      & z_000_45_a_alresford_2(Z_000_45_A_ALRESFORD_2)
      & has_conj2(Z_000_45_A_ALRESFORD_2,Z_000_45_A_ALRESFORD_84)
      & z_000_45_a_alresford_84(Z_000_45_A_ALRESFORD_84)
      & has_conj1(Z_000_45_A_ALRESFORD_84,R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD)
      & r_0045_0030__to_r_0045_0031__be_r_0045_0032__told(R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD)
      & has_arg0(R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD,Z_000_45_A_ALRESFORD_94)
      & has_arg1(R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD,R_0045_0034__TO_R_0045_0035__KEEP)
      & r_0045_0034__to_r_0045_0035__keep(R_0045_0034__TO_R_0045_0035__KEEP)
      & has_nim115(R_0045_0034__TO_R_0045_0035__KEEP,R_0045_0040__LADIES)
      & has_r_0045_0036__out_of_clr108(R_0045_0034__TO_R_0045_0035__KEEP,R_0045_0037__THE_R_0045_0038__WAY)
      & has_arg0(R_0045_0034__TO_R_0045_0035__KEEP,R_0045_0023__THEY)
      & has_arg2(R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD,R_0045_0023__THEY)
      & has_nim86(R_0045_0030__TO_R_0045_0031__BE_R_0045_0032__TOLD,R_0045_0029__ONLY)
      & has_conj2(Z_000_45_A_ALRESFORD_84,R_0045_0024__ATTENDED)
      & r_0045_0024__attended(R_0045_0024__ATTENDED)
      & has_nim72(R_0045_0024__ATTENDED,Z_000_45_A_ALRESFORD_72)
      & has_arg0(R_0045_0024__ATTENDED,R_0045_0023__THEY)
      & has_conj1(Z_000_45_A_ALRESFORD_2,R_0045_0006__UNTIL)
      & r_0045_0006__until(R_0045_0006__UNTIL)
      & has_conj1(R_0045_0006__UNTIL,R_0045_0008__BECAME)
      & r_0045_0008__became(R_0045_0008__BECAME)
      & has_arg0(R_0045_0008__BECAME,R_0045_0010__THAT_R_0045_0020__WAS)
      & r_0045_0010__that_r_0045_0020__was(R_0045_0010__THAT_R_0045_0020__WAS)
      & has_r_0045_0021__on_clr64(R_0045_0010__THAT_R_0045_0020__WAS,R_0045_0022__FIRE)
      & has_arg0(R_0045_0010__THAT_R_0045_0020__WAS,R_0045_0011__A_R_0045_0012__CHIMNEY)
      & r_0045_0011__a_r_0045_0012__chimney(R_0045_0011__A_R_0045_0012__CHIMNEY)
      & has_r_0045_0013__in(R_0045_0011__A_R_0045_0012__CHIMNEY,R_0045_0014__THE_R_0045_0015__PINK_R_0045_0016__HOUSE)
      & r_0045_0014__the_r_0045_0015__Pink_r_0045_0016__House(R_0045_0014__THE_R_0045_0015__PINK_R_0045_0016__HOUSE)
      & has_r_0045_0017__across(R_0045_0014__THE_R_0045_0015__PINK_R_0045_0016__HOUSE,R_0045_0018__BROAD_R_0045_0019__STREET)
      & has_prd(R_0045_0008__BECAME,R_0045_0009__CLEAR)
      & has_conj2(R_0045_0006__UNTIL,R_0045_0001__CONVINCED)
      & r_0045_0001__Convinced(R_0045_0001__CONVINCED)
      & has_arg0(R_0045_0001__CONVINCED,Z_000_45_A_ALRESFORD_4)
      & has_arg2(R_0045_0001__CONVINCED,R_0045_0023__THEY)
      & has_arg1(R_0045_0001__CONVINCED,R_0045_0003__WAS)
      & r_0045_0003__was(R_0045_0003__WAS)
      & has_prd(R_0045_0003__WAS,R_0045_0004__A_R_0045_0005__HOAX)
      & has_arg0(R_0045_0003__WAS,R_0045_0002__IT)
      & r_0045_0027__were(R_0045_0027__WERE)
      & has_prd(R_0045_0027__WERE,Z_000_45_A_ALRESFORD_72)
      & has_arg0(R_0045_0027__WERE,R_0045_0023__THEY) ) ).

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (VVN;_Dn.f_ Convinced;{convince})
                            (CP-THT-OB1 (IP-SUB (NP-SBJ;{BLEEPER_SOUND} (PRO it;{it}))
                                                (BED;_Ln_ was;{be})
                                                (NP-PRD (D a;{a})
                                                        (N hoax;{hoax}))))
                            (PP-SCON (P-CONN until;{until})
                                     (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                                             (VBD;_La_ became;{become})
                                             (ADJP-PRD (ADJ clear;{clear}))
                                             (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                                  (NP-SBJ (D a;{a})
                                                                          (N chimney;{chimney})
                                                                          (PP (P-ROLE in;{in})
                                                                              (NP (D the;{the})
                                                                                  (NPR Pink;{Pink})
                                                                                  (NPR House;{House})
                                                                                  (PP (P-ROLE across;{across})
                                                                                      (NP (NPR Broad;{Broad})
                                                                                          (NPR Street;{Street}))))))
                                                                  (BED;_Ipr_ was;{be[on]})
                                                                  (PP-CLR (P-ROLE on;{on})
                                                                          (NP (N fire;{fire})))))))))
          (NP-SBJ;{GEORGE_COLLEAGUE} (PRO they;{they}))
          (VBD;_I_ attended;{attend})
          (NP-NIM (IP-REL (NP-PRD (RPRO as;{as}))
                          (NP-SBJ;{GEORGE_COLLEAGUE} (PRO they;{they}))
                          (BED;_Ln_ were;{be})))
          (PUNC ,)
          (PP-SCON (IP-INF (ADVP-NIM (ADV only;{only}))
                           (TO to;{to})
                           (BE;_cat_VePASS_ be;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Dn.t_ told;{tell})
                                       (IP-INF-OB1 (PULQ <lsquo>)
                                                   (TO to;{to})
                                                   (VB;_Ipr_ keep;{keep[out_of]})
                                                   (PP-CLR (P-ROLE out_of;{out_of})
                                                           (NP (D the;{the})
                                                               (N way;{way})))
                                                   (PUNC ,)
                                                   (NP-VOC (NS ladies;{lady}))
                                                   (PURQ <rsquo>)))))
          (PUNC .))
  (ID 45_a_alresford))