( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{HUBBY_OF_D} (PRO;_genm_ His;{his}))
                              (N office;{office}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ full;{full})
                                (PP (P-ROLE of;{of})
                                    (NP (ADJP (ADJ boring;{boring}))
                                        (ADJP (ADJ stuffy;{stuffy}))
                                        (NS shirts;{shirt})
                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                (BEP;_cat_Vg_ are;{be})
                                                (IP-PPL-CAT (ADVP-NIM (ADV also;{also}))
                                                            (VAG;_Ipr_ working;{work[from]})
                                                            (PP-CLR (P-ROLE from;{from})
                                                                    (ADVP (ADV home;{home})))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{PERSON_D} (PRO I;{I}))
                             (VBD;_Tf_ thought;{think})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_provisional_ it;{it}))
                                                 (MD;_cat_Vi_ would;{will})
                                                 (IP-INF-CAT (BE;_La_ be;{be})
                                                             (ADJP-PRD (ADJ hilarious;{hilarious}))
                                                             (NP-NIM (NUM one;{one})
                                                                     (N day;{day}))
                                                             (PP-SCON (P-CONN while;{while})
                                                                      (IP-ADV (NP-SBJ;{HUBBY_OF_D} (PRO he;{he}))
                                                                              (BED;_Ipr_ was;{be[on]})
                                                                              (PP-CLR (P-ROLE on;{on})
                                                                                      (NP (ADVP (ADV quite;{quite}))
                                                                                          (D an;{an})
                                                                                          (ADJP (ADJ important;{important}))
                                                                                          (N teleconference;{teleconference})
                                                                                          (N meeting;{meeting}))))))
                                                 (IP-INF-NSBJ (TO to;{to})
                                                              (ILYR (ILYR (VB;_phr_Vpr_ burst;{burst[into]})
                                                                          (PP-CLR (P-ROLE into;{into})
                                                                                  (NP (D the;{the})
                                                                                      (N office;{office}))))
                                                                    (PUNC ,)
                                                                    (CONJP (ILYR (VB;_phr_Vn<=>p_ pull;{pull[up]})
                                                                                 (NP-OB1 (NP-GEN;{PERSON_D} (PRO;_genm_ my;{my}))
                                                                                         (N top;{top}))
                                                                                 (RP up;{up})))
                                                                    (CONJP (CONJ and;{and})
                                                                           (ILYR (VB;_Tn.pr_ waggle;{waggle})
                                                                                 (NP-OB1 (NP-GEN;{PERSON_D} (PRO;_genm_ my;{my}))
                                                                                         (NS boobs;{boob}))
                                                                                 (PP-NIM (P-ROLE at;{at})
                                                                                         (NP;{HUBBY_OF_D} (PRO him;{he}))))))))))))
          (PUNC .))
  (ID 41_a_lockdown;speaker=d))

arc(r_0041_0002__office,r_0041_0001__His,gen).
arc(r_0041_0003__is,r_0041_0002__office,arg0).
arc(r_0041_0003__is,r_0041_0004__full,prd).
arc(r_0041_0004__full,r_0041_0008__shirts,r_0041_0005__of).
arc(r_0041_0008__shirts,r_0041_0006__boring,attrib).
arc(r_0041_0008__shirts,r_0041_0007__stuffy,attrib).
arc(r_0041_0010__are,r_0041_0012__working,scope).
arc(r_0041_0012__working,r_0041_0008__shirts,arg0).
arc(r_0041_0012__working,r_0041_0011__also,nim).
arc(r_0041_0012__working,r_0041_0014__home,r_0041_0013__from__clr).
arc(r_0041_0015__and,r_0041_0003__is,conj1).
arc(r_0041_0015__and,r_0041_0017__thought,conj2).
arc(r_0041_0017__thought,r_0041_0016__I,arg0).
arc(r_0041_0017__thought,r_0041_0019__would,arg1).
arc(r_0041_0019__would,r_0041_0024__while,scope).
arc(r_0041_0020__be,r_0041_0021__hilarious,prd).
arc(r_0041_0020__be,r_0041_0022__one_r_0041_0023__day,nim).
arc(r_0041_0020__be,r_0041_0043__and,arg0).
arc(r_0041_0024__while,r_0041_0020__be,scope).
arc(r_0041_0024__while,r_0041_0026__was_r_0041_0027__on,restriction).
arc(r_0041_0026__was_r_0041_0027__on,r_0041_0001__His,arg0).
arc(r_0041_0026__was_r_0041_0027__on,r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting,arg1).
arc(r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting,r_0041_0028__quite,qual).
arc(r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting,r_0041_0030__important,attrib).
arc(r_0041_0034__burst,r_0041_0036__the_r_0041_0037__office,r_0041_0035__into__clr).
arc(r_0041_0034__burst,z_0041_5013,arg0).
arc(r_0041_0039__pull_r_0041_0042__up,r_0041_0041__top,arg1).
arc(r_0041_0039__pull_r_0041_0042__up,z_0041_5013,arg0).
arc(r_0041_0041__top,r_0041_0016__I,gen).
arc(r_0041_0043__and,r_0041_0034__burst,conj1).
arc(r_0041_0043__and,r_0041_0039__pull_r_0041_0042__up,conj2).
arc(r_0041_0043__and,r_0041_0044__waggle,conj3).
arc(r_0041_0044__waggle,r_0041_0001__His,r_0041_0047__at__nim).
arc(r_0041_0044__waggle,r_0041_0046__boobs,arg1).
arc(r_0041_0044__waggle,z_0041_5013,arg0).
arc(r_0041_0046__boobs,r_0041_0016__I,gen).

fof(formula,axiom,
    ? [R_0041_0006__BORING,R_0041_0007__STUFFY,R_0041_0008__SHIRTS,R_0041_0011__ALSO,R_0041_0014__HOME,R_0041_0010__ARE_R_0041_0012__WORKING,R_0041_0001__HIS,R_0041_0002__OFFICE,R_0041_0004__FULL,R_0041_0003__IS,R_0041_0016__I,R_0041_0021__HILARIOUS,R_0041_0022__ONE_R_0041_0023__DAY,R_0041_0036__THE_R_0041_0037__OFFICE,Z_0041_5013,R_0041_0034__BURST,R_0041_0041__TOP,R_0041_0039__PULL_R_0041_0042__UP,R_0041_0046__BOOBS,R_0041_0044__WAGGLE,R_0041_0043__AND,R_0041_0020__BE,R_0041_0028__QUITE,R_0041_0030__IMPORTANT,R_0041_0029__AN_R_0041_0031__TELECONFERENCE_R_0041_0032__MEETING,R_0041_0026__WAS_R_0041_0027__ON,R_0041_0024__WHILE,R_0041_0019__WOULD,R_0041_0017__THOUGHT,R_0041_0015__AND] :
      ( r_0041_0001__His(R_0041_0001__HIS)
      & r_0041_0006__boring(R_0041_0006__BORING)
      & r_0041_0007__stuffy(R_0041_0007__STUFFY)
      & r_0041_0011__also(R_0041_0011__ALSO)
      & r_0041_0014__home(R_0041_0014__HOME)
      & r_0041_0016__I(R_0041_0016__I)
      & r_0041_0021__hilarious(R_0041_0021__HILARIOUS)
      & r_0041_0022__one_r_0041_0023__day(R_0041_0022__ONE_R_0041_0023__DAY)
      & r_0041_0028__quite(R_0041_0028__QUITE)
      & r_0041_0030__important(R_0041_0030__IMPORTANT)
      & r_0041_0036__the_r_0041_0037__office(R_0041_0036__THE_R_0041_0037__OFFICE)
      & z_0041_5013(Z_0041_5013)
      & r_0041_0015__and(R_0041_0015__AND)
      & has_conj2(R_0041_0015__AND,R_0041_0017__THOUGHT)
      & r_0041_0017__thought(R_0041_0017__THOUGHT)
      & has_arg1(R_0041_0017__THOUGHT,R_0041_0019__WOULD)
      & r_0041_0019__would(R_0041_0019__WOULD)
      & has_keep_scope(R_0041_0019__WOULD,R_0041_0024__WHILE)
      & r_0041_0024__while(R_0041_0024__WHILE)
      & has_conj1(R_0041_0024__WHILE,R_0041_0026__WAS_R_0041_0027__ON)
      & r_0041_0026__was_r_0041_0027__on(R_0041_0026__WAS_R_0041_0027__ON)
      & has_arg1(R_0041_0026__WAS_R_0041_0027__ON,R_0041_0029__AN_R_0041_0031__TELECONFERENCE_R_0041_0032__MEETING)
      & r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting(R_0041_0029__AN_R_0041_0031__TELECONFERENCE_R_0041_0032__MEETING)
      & has_attrib(R_0041_0029__AN_R_0041_0031__TELECONFERENCE_R_0041_0032__MEETING,R_0041_0030__IMPORTANT)
      & has_qual(R_0041_0029__AN_R_0041_0031__TELECONFERENCE_R_0041_0032__MEETING,R_0041_0028__QUITE)
      & has_arg0(R_0041_0026__WAS_R_0041_0027__ON,R_0041_0001__HIS)
      & has_conj2(R_0041_0024__WHILE,R_0041_0020__BE)
      & r_0041_0020__be(R_0041_0020__BE)
      & has_arg0(R_0041_0020__BE,R_0041_0043__AND)
      & r_0041_0043__and(R_0041_0043__AND)
      & has_conj3(R_0041_0043__AND,R_0041_0044__WAGGLE)
      & r_0041_0044__waggle(R_0041_0044__WAGGLE)
      & has_arg0(R_0041_0044__WAGGLE,Z_0041_5013)
      & has_arg1(R_0041_0044__WAGGLE,R_0041_0046__BOOBS)
      & r_0041_0046__boobs(R_0041_0046__BOOBS)
      & has_gen(R_0041_0046__BOOBS,R_0041_0016__I)
      & has_r_0041_0047__at__nim(R_0041_0044__WAGGLE,R_0041_0001__HIS)
      & has_conj2(R_0041_0043__AND,R_0041_0039__PULL_R_0041_0042__UP)
      & r_0041_0039__pull_r_0041_0042__up(R_0041_0039__PULL_R_0041_0042__UP)
      & has_arg0(R_0041_0039__PULL_R_0041_0042__UP,Z_0041_5013)
      & has_arg1(R_0041_0039__PULL_R_0041_0042__UP,R_0041_0041__TOP)
      & r_0041_0041__top(R_0041_0041__TOP)
      & has_gen(R_0041_0041__TOP,R_0041_0016__I)
      & has_conj1(R_0041_0043__AND,R_0041_0034__BURST)
      & r_0041_0034__burst(R_0041_0034__BURST)
      & has_arg0(R_0041_0034__BURST,Z_0041_5013)
      & has_r_0041_0035__into__clr(R_0041_0034__BURST,R_0041_0036__THE_R_0041_0037__OFFICE)
      & has_nim(R_0041_0020__BE,R_0041_0022__ONE_R_0041_0023__DAY)
      & has_prd(R_0041_0020__BE,R_0041_0021__HILARIOUS)
      & has_arg0(R_0041_0017__THOUGHT,R_0041_0016__I)
      & has_conj1(R_0041_0015__AND,R_0041_0003__IS)
      & r_0041_0003__is(R_0041_0003__IS)
      & has_prd(R_0041_0003__IS,R_0041_0004__FULL)
      & r_0041_0004__full(R_0041_0004__FULL)
      & has_r_0041_0005__of(R_0041_0004__FULL,R_0041_0008__SHIRTS)
      & r_0041_0008__shirts(R_0041_0008__SHIRTS)
      & has_attrib(R_0041_0008__SHIRTS,R_0041_0007__STUFFY)
      & has_attrib(R_0041_0008__SHIRTS,R_0041_0006__BORING)
      & has_arg0(R_0041_0003__IS,R_0041_0002__OFFICE)
      & r_0041_0002__office(R_0041_0002__OFFICE)
      & has_gen(R_0041_0002__OFFICE,R_0041_0001__HIS)
      & r_0041_0010__are_r_0041_0012__working(R_0041_0010__ARE_R_0041_0012__WORKING)
      & has_r_0041_0013__from__clr(R_0041_0010__ARE_R_0041_0012__WORKING,R_0041_0014__HOME)
      & has_nim(R_0041_0010__ARE_R_0041_0012__WORKING,R_0041_0011__ALSO)
      & has_arg0(R_0041_0010__ARE_R_0041_0012__WORKING,R_0041_0008__SHIRTS) ) ).