TSPC 41_a_lockdown

41_a_lockdown
His office is full of boring stuffy shirts who are also working from home and I thought it would be hilarious one day while he was on quite an important teleconference meeting to burst into the office, pull my top up and waggle my boobs at him.

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, attrib19).
arc(r_0041_0008__shirts, r_0041_0007__stuffy, attrib22).
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, nim34).
arc(r_0041_0012__working, r_0041_0014__home, r_0041_0013__from_clr42).
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, nim67).
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, restriction).
arc(r_0041_0026__was, r_0041_0025__he, arg0).
arc(r_0041_0026__was, r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting, r_0041_0027__on_clr84).
arc(r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting, r_0041_0028__quite, qual85).
arc(r_0041_0029__an_r_0041_0031__teleconference_r_0041_0032__meeting, r_0041_0030__important, attrib90).
arc(r_0041_0034__burst, r_0041_0036__the_r_0041_0037__office, r_0041_0035__into_clr107).
arc(r_0041_0034__burst, z_000_41_a_lockdown_56, 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_000_41_a_lockdown_56, 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_0046__boobs, arg1).
arc(r_0041_0044__waggle, r_0041_0048__him, r_0041_0047__at_nim141).
arc(r_0041_0044__waggle, z_000_41_a_lockdown_56, arg0).
arc(r_0041_0046__boobs, r_0041_0016__I, gen).

fof(formula,axiom,
    ? [R_41_10_ARE_WORKING,R_41_11_ALSO,R_41_14_HOME,R_41_15_AND,R_41_3_IS,R_41_2_OFFICE,R_41_1_HIS,R_41_4_FULL,R_41_8_SHIRTS,R_41_6_BORING,R_41_7_STUFFY,R_41_17_THOUGHT,R_41_16_I] :
      ( also(R_41_11_ALSO)
      & home(R_41_14_HOME)
      & his(R_41_1_HIS)
      & boring(R_41_6_BORING)
      & stuffy(R_41_7_STUFFY)
      & i(R_41_16_I)
      & are_working(R_41_10_ARE_WORKING,R_41_8_SHIRTS)
      & shirts(R_41_8_SHIRTS)
      & attrib19(R_41_8_SHIRTS,R_41_6_BORING)
      & attrib22(R_41_8_SHIRTS,R_41_7_STUFFY)
      & nim34(R_41_10_ARE_WORKING,R_41_11_ALSO)
      & from_clr42(R_41_10_ARE_WORKING,R_41_14_HOME)
      & and(R_41_15_AND)
      & conj1(R_41_15_AND,R_41_3_IS)
      & is(R_41_3_IS,R_41_2_OFFICE,R_41_4_FULL)
      & office(R_41_2_OFFICE)
      & gen(R_41_2_OFFICE,R_41_1_HIS)
      & full(R_41_4_FULL)
      & of(R_41_4_FULL,R_41_8_SHIRTS)
      & conj2(R_41_15_AND,R_41_17_THOUGHT)
      & thought(R_41_17_THOUGHT,R_41_16_I,R_41_19_WOULD)
      & ~ ? [R_41_24_WHILE,R_41_26_WAS,R_41_25_HE,R_41_29_AN_TELECONFERENCE_MEETING,R_41_30_IMPORTANT,R_41_28_QUITE,R_41_20_BE,R_41_43_AND,R_41_34_BURST,R_41_36_THE_OFFICE,R_41_39_PULL_UP,R_41_41_TOP,R_41_44_WAGGLE,Z_41_A_LOCKDOWN_56,R_41_46_BOOBS,R_41_48_HIM,R_41_22_ONE_DAY,R_41_21_HILARIOUS] :
            ( he(R_41_25_HE)
            & important(R_41_30_IMPORTANT)
            & quite(R_41_28_QUITE)
            & the_office(R_41_36_THE_OFFICE)
            & him(R_41_48_HIM)
            & one_day(R_41_22_ONE_DAY)
            & hilarious(R_41_21_HILARIOUS)
            & while(R_41_24_WHILE)
            & conj1(R_41_24_WHILE,R_41_26_WAS)
            & was(R_41_26_WAS,R_41_25_HE)
            & on_clr84(R_41_26_WAS,R_41_29_AN_TELECONFERENCE_MEETING)
            & an_teleconference_meeting(R_41_29_AN_TELECONFERENCE_MEETING)
            & attrib90(R_41_29_AN_TELECONFERENCE_MEETING,R_41_30_IMPORTANT)
            & qual85(R_41_29_AN_TELECONFERENCE_MEETING,R_41_28_QUITE)
            & conj2(R_41_24_WHILE,R_41_20_BE)
            & be(R_41_20_BE,R_41_43_AND,R_41_21_HILARIOUS)
            & and(R_41_43_AND)
            & conj1(R_41_43_AND,R_41_34_BURST)
            & burst(R_41_34_BURST,Z_41_A_LOCKDOWN_56)
            & into_clr107(R_41_34_BURST,R_41_36_THE_OFFICE)
            & conj2(R_41_43_AND,R_41_39_PULL_UP)
            & pull_up(R_41_39_PULL_UP,Z_41_A_LOCKDOWN_56,R_41_41_TOP)
            & top(R_41_41_TOP)
            & gen(R_41_41_TOP,R_41_16_I)
            & conj3(R_41_43_AND,R_41_44_WAGGLE)
            & waggle(R_41_44_WAGGLE,Z_41_A_LOCKDOWN_56,R_41_46_BOOBS)
            & boobs(R_41_46_BOOBS)
            & gen(R_41_46_BOOBS,R_41_16_I)
            & at_nim141(R_41_44_WAGGLE,R_41_48_HIM)
            & nim67(R_41_20_BE,R_41_22_ONE_DAY) ) ) ).

( (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))