Context                Previous, Next                Top


13_a_lockdown
Normally I would help out but I was busy with lots of other things that day, and he had a presentation that was overdue.

%3 r_0013_0003__would would r_0013_0001__Normally Normally r_0013_0003__would->r_0013_0001__Normally [nim] r_0013_0004__help_r_0013_0005__out help out r_0013_0003__would->r_0013_0004__help_r_0013_0005__out [scope] r_0013_0002__I I r_0013_0004__help_r_0013_0005__out->r_0013_0002__I [arg0] r_0013_0006__but_r_0013_0018__and but and r_0013_0006__but_r_0013_0018__and->r_0013_0003__would [conj1] r_0013_0008__was was r_0013_0006__but_r_0013_0018__and->r_0013_0008__was [conj2] r_0013_0020__had had r_0013_0006__but_r_0013_0018__and->r_0013_0020__had [conj3] r_0013_0007__I I r_0013_0008__was->r_0013_0007__I [arg0] r_0013_0009__busy busy r_0013_0008__was->r_0013_0009__busy [prd] r_0013_0015__that_r_0013_0016__day that day r_0013_0008__was->r_0013_0015__that_r_0013_0016__day [nim] r_0013_0019__he he r_0013_0020__had->r_0013_0019__he [arg0] r_0013_0021__a_r_0013_0022__presentation a presentation r_0013_0020__had->r_0013_0021__a_r_0013_0022__presentation [arg1] r_0013_0011__lots lots r_0013_0009__busy->r_0013_0011__lots with r_0013_0014__things things r_0013_0011__lots->r_0013_0014__things of r_0013_0013__other other r_0013_0014__things->r_0013_0013__other [attrib] r_0013_0023__that_r_0013_0024__was that was r_0013_0023__that_r_0013_0024__was->r_0013_0021__a_r_0013_0022__presentation [arg0] r_0013_0025__overdue overdue r_0013_0023__that_r_0013_0024__was->r_0013_0025__overdue [prd] 
arc(r_0013_0003__would, r_0013_0001__Normally, nim4).
arc(r_0013_0003__would, r_0013_0004__help_r_0013_0005__out, scope).
arc(r_0013_0004__help_r_0013_0005__out, r_0013_0002__I, arg0).
arc(r_0013_0006__but_r_0013_0018__and, r_0013_0003__would, conj1).
arc(r_0013_0006__but_r_0013_0018__and, r_0013_0008__was, conj2).
arc(r_0013_0006__but_r_0013_0018__and, r_0013_0020__had, conj3).
arc(r_0013_0008__was, r_0013_0007__I, arg0).
arc(r_0013_0008__was, r_0013_0009__busy, prd).
arc(r_0013_0008__was, r_0013_0015__that_r_0013_0016__day, nim44).
arc(r_0013_0009__busy, r_0013_0011__lots, r_0013_0010__with).
arc(r_0013_0011__lots, r_0013_0014__things, r_0013_0012__of).
arc(r_0013_0014__things, r_0013_0013__other, attrib39).
arc(r_0013_0020__had, r_0013_0019__he, arg0).
arc(r_0013_0020__had, r_0013_0021__a_r_0013_0022__presentation, arg1).
arc(r_0013_0023__that_r_0013_0024__was, r_0013_0021__a_r_0013_0022__presentation, arg0).
arc(r_0013_0023__that_r_0013_0024__was, r_0013_0025__overdue, prd).


%3 r_0013_0023__that_r_0013_0024__was that was r_0013_0025__overdue overdue r_0013_0023__that_r_0013_0024__was->r_0013_0025__overdue [prd] r_0013_0021__a_r_0013_0022__presentation a presentation r_0013_0023__that_r_0013_0024__was->r_0013_0021__a_r_0013_0022__presentation [arg0] r_0013_0020__had had r_0013_0020__had->r_0013_0021__a_r_0013_0022__presentation [arg1] r_0013_0019__he he r_0013_0020__had->r_0013_0019__he [arg0] r_0013_0014__things things r_0013_0013__other other r_0013_0014__things->r_0013_0013__other [attrib] r_0013_0011__lots lots r_0013_0011__lots->r_0013_0014__things of r_0013_0009__busy busy r_0013_0009__busy->r_0013_0011__lots with r_0013_0008__was was r_0013_0008__was->r_0013_0009__busy [prd] r_0013_0015__that_r_0013_0016__day that day r_0013_0008__was->r_0013_0015__that_r_0013_0016__day [nim] r_0013_0007__I I r_0013_0008__was->r_0013_0007__I [arg0] r_0013_0006__but_r_0013_0018__and but and r_0013_0006__but_r_0013_0018__and->r_0013_0020__had [conj3] r_0013_0006__but_r_0013_0018__and->r_0013_0008__was [conj2] r_0013_0003__would_r_0013_0004__help_r_0013_0005__out would help out r_0013_0006__but_r_0013_0018__and->r_0013_0003__would_r_0013_0004__help_r_0013_0005__out [conj1] r_0013_0002__I I r_0013_0003__would_r_0013_0004__help_r_0013_0005__out->r_0013_0002__I [arg0] r_0013_0001__Normally Normally r_0013_0003__would_r_0013_0004__help_r_0013_0005__out->r_0013_0001__Normally [nim] 
fof(formula,axiom,
    ? [R_13_6_BUT_AND,R_13_3_WOULD_HELP_OUT,R_13_2_I,R_13_1_NORMALLY,R_13_8_WAS,R_13_7_I,R_13_15_THAT_DAY,R_13_9_BUSY,R_13_11_LOTS,R_13_14_THINGS,R_13_13_OTHER,R_13_20_HAD,R_13_19_HE,R_13_23_THAT_WAS,R_13_21_A_PRESENTATION,R_13_25_OVERDUE] :
      ( i(R_13_2_I)
      & normally(R_13_1_NORMALLY)
      & i(R_13_7_I)
      & that_day(R_13_15_THAT_DAY)
      & other(R_13_13_OTHER)
      & he(R_13_19_HE)
      & a_presentation(R_13_21_A_PRESENTATION)
      & overdue(R_13_25_OVERDUE)
      & but_and(R_13_6_BUT_AND)
      & conj1(R_13_6_BUT_AND,R_13_3_WOULD_HELP_OUT)
      & would_help_out(R_13_3_WOULD_HELP_OUT,R_13_2_I)
      & nim4(R_13_3_WOULD_HELP_OUT,R_13_1_NORMALLY)
      & conj2(R_13_6_BUT_AND,R_13_8_WAS)
      & was(R_13_8_WAS,R_13_7_I,R_13_9_BUSY)
      & busy(R_13_9_BUSY)
      & with(R_13_9_BUSY,R_13_11_LOTS)
      & lots(R_13_11_LOTS)
      & of(R_13_11_LOTS,R_13_14_THINGS)
      & things(R_13_14_THINGS)
      & attrib39(R_13_14_THINGS,R_13_13_OTHER)
      & nim44(R_13_8_WAS,R_13_15_THAT_DAY)
      & conj3(R_13_6_BUT_AND,R_13_20_HAD)
      & had(R_13_20_HAD,R_13_19_HE,R_13_21_A_PRESENTATION)
      & that_was(R_13_23_THAT_WAS,R_13_21_A_PRESENTATION,R_13_25_OVERDUE) ) ).


n13_a_lockdown n13_a_lockdown__1_1_1_1_1_1 Normally n13_a_lockdown__1_1_1_2_1_1 I n13_a_lockdown__1_1_1_3_1 would n13_a_lockdown__1_1_1_4_1_1 help n13_a_lockdown__1_1_1_4_2_1 out n13_a_lockdown__1_1_2_1_1 but n13_a_lockdown__1_1_2_2_1_1_1 I n13_a_lockdown__1_1_2_2_2_1 was n13_a_lockdown__1_1_2_2_3_1_1 busy n13_a_lockdown__1_1_2_2_3_2_1_1 with n13_a_lockdown__1_1_2_2_3_2_2_1_1 lots n13_a_lockdown__1_1_2_2_3_2_2_2_1_1 of n13_a_lockdown__1_1_2_2_3_2_2_2_2_1_1_1 other n13_a_lockdown__1_1_2_2_3_2_2_2_2_2_1 things n13_a_lockdown__1_1_2_2_4_1_1 that n13_a_lockdown__1_1_2_2_4_2_1 day n13_a_lockdown__1_1_3_1 , n13_a_lockdown__1_1_4_1_1 and n13_a_lockdown__1_1_4_2_1_1_1 he n13_a_lockdown__1_1_4_2_2_1 had n13_a_lockdown__1_1_4_2_3_1_1 a n13_a_lockdown__1_1_4_2_3_2_1 presentation n13_a_lockdown__1_1_4_2_3_3_1_1 that n13_a_lockdown__1_1_4_2_3_3_2_1 *T* n13_a_lockdown__1_1_4_2_3_3_3_1 was n13_a_lockdown__1_1_4_2_3_3_4_1_1 overdue n13_a_lockdown__1_2_1 . n13_a_lockdown__1 IP-MAT n13_a_lockdown__1_1 ILYR n13_a_lockdown__1->n13_a_lockdown__1_1 n13_a_lockdown__1_2 PUNC n13_a_lockdown__1->n13_a_lockdown__1_2 n13_a_lockdown__1_1_1 ILYR n13_a_lockdown__1_1->n13_a_lockdown__1_1_1 n13_a_lockdown__1_1_2 CONJP n13_a_lockdown__1_1->n13_a_lockdown__1_1_2 n13_a_lockdown__1_1_3 PUNC n13_a_lockdown__1_1->n13_a_lockdown__1_1_3 n13_a_lockdown__1_1_4 CONJP n13_a_lockdown__1_1->n13_a_lockdown__1_1_4 n13_a_lockdown__1_1_1_1 ADVP-NIM n13_a_lockdown__1_1_1->n13_a_lockdown__1_1_1_1 n13_a_lockdown__1_1_1_2 NP-SBJ n13_a_lockdown__1_1_1->n13_a_lockdown__1_1_1_2 n13_a_lockdown__1_1_1_3 MD;_cat_Vi_ n13_a_lockdown__1_1_1->n13_a_lockdown__1_1_1_3 n13_a_lockdown__1_1_1_4 IP-INF-CAT n13_a_lockdown__1_1_1->n13_a_lockdown__1_1_1_4 n13_a_lockdown__1_1_1_1_1 ADV n13_a_lockdown__1_1_1_1->n13_a_lockdown__1_1_1_1_1 n13_a_lockdown__1_1_1_1_1->n13_a_lockdown__1_1_1_1_1_1 n13_a_lockdown__1_1_1_2_1 PRO n13_a_lockdown__1_1_1_2->n13_a_lockdown__1_1_1_2_1 n13_a_lockdown__1_1_1_2_1->n13_a_lockdown__1_1_1_2_1_1 n13_a_lockdown__1_1_1_3->n13_a_lockdown__1_1_1_3_1 n13_a_lockdown__1_1_1_4_1 VB;_phr_Vp_ n13_a_lockdown__1_1_1_4->n13_a_lockdown__1_1_1_4_1 n13_a_lockdown__1_1_1_4_2 RP n13_a_lockdown__1_1_1_4->n13_a_lockdown__1_1_1_4_2 n13_a_lockdown__1_1_1_4_1->n13_a_lockdown__1_1_1_4_1_1 n13_a_lockdown__1_1_1_4_2->n13_a_lockdown__1_1_1_4_2_1 n13_a_lockdown__1_1_2_1 CONJ n13_a_lockdown__1_1_2->n13_a_lockdown__1_1_2_1 n13_a_lockdown__1_1_2_2 ILYR n13_a_lockdown__1_1_2->n13_a_lockdown__1_1_2_2 n13_a_lockdown__1_1_2_1->n13_a_lockdown__1_1_2_1_1 n13_a_lockdown__1_1_2_2_1 NP-SBJ n13_a_lockdown__1_1_2_2->n13_a_lockdown__1_1_2_2_1 n13_a_lockdown__1_1_2_2_2 BED;_La_ n13_a_lockdown__1_1_2_2->n13_a_lockdown__1_1_2_2_2 n13_a_lockdown__1_1_2_2_3 ADJP-PRD n13_a_lockdown__1_1_2_2->n13_a_lockdown__1_1_2_2_3 n13_a_lockdown__1_1_2_2_4 NP-NIM n13_a_lockdown__1_1_2_2->n13_a_lockdown__1_1_2_2_4 n13_a_lockdown__1_1_2_2_1_1 PRO n13_a_lockdown__1_1_2_2_1->n13_a_lockdown__1_1_2_2_1_1 n13_a_lockdown__1_1_2_2_1_1->n13_a_lockdown__1_1_2_2_1_1_1 n13_a_lockdown__1_1_2_2_2->n13_a_lockdown__1_1_2_2_2_1 n13_a_lockdown__1_1_2_2_3_1 ADJ n13_a_lockdown__1_1_2_2_3->n13_a_lockdown__1_1_2_2_3_1 n13_a_lockdown__1_1_2_2_3_2 PP n13_a_lockdown__1_1_2_2_3->n13_a_lockdown__1_1_2_2_3_2 n13_a_lockdown__1_1_2_2_3_1->n13_a_lockdown__1_1_2_2_3_1_1 n13_a_lockdown__1_1_2_2_3_2_1 P-ROLE n13_a_lockdown__1_1_2_2_3_2->n13_a_lockdown__1_1_2_2_3_2_1 n13_a_lockdown__1_1_2_2_3_2_2 NP n13_a_lockdown__1_1_2_2_3_2->n13_a_lockdown__1_1_2_2_3_2_2 n13_a_lockdown__1_1_2_2_3_2_1->n13_a_lockdown__1_1_2_2_3_2_1_1 n13_a_lockdown__1_1_2_2_3_2_2_1 D;_nphd_ n13_a_lockdown__1_1_2_2_3_2_2->n13_a_lockdown__1_1_2_2_3_2_2_1 n13_a_lockdown__1_1_2_2_3_2_2_2 PP n13_a_lockdown__1_1_2_2_3_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2 n13_a_lockdown__1_1_2_2_3_2_2_1->n13_a_lockdown__1_1_2_2_3_2_2_1_1 n13_a_lockdown__1_1_2_2_3_2_2_2_1 P-ROLE n13_a_lockdown__1_1_2_2_3_2_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2_1 n13_a_lockdown__1_1_2_2_3_2_2_2_2 NP n13_a_lockdown__1_1_2_2_3_2_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2_2 n13_a_lockdown__1_1_2_2_3_2_2_2_1->n13_a_lockdown__1_1_2_2_3_2_2_2_1_1 n13_a_lockdown__1_1_2_2_3_2_2_2_2_1 ADJP n13_a_lockdown__1_1_2_2_3_2_2_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2_2_1 n13_a_lockdown__1_1_2_2_3_2_2_2_2_2 NS n13_a_lockdown__1_1_2_2_3_2_2_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2_2_2 n13_a_lockdown__1_1_2_2_3_2_2_2_2_1_1 ADJ n13_a_lockdown__1_1_2_2_3_2_2_2_2_1->n13_a_lockdown__1_1_2_2_3_2_2_2_2_1_1 n13_a_lockdown__1_1_2_2_3_2_2_2_2_1_1->n13_a_lockdown__1_1_2_2_3_2_2_2_2_1_1_1 n13_a_lockdown__1_1_2_2_3_2_2_2_2_2->n13_a_lockdown__1_1_2_2_3_2_2_2_2_2_1 n13_a_lockdown__1_1_2_2_4_1 D n13_a_lockdown__1_1_2_2_4->n13_a_lockdown__1_1_2_2_4_1 n13_a_lockdown__1_1_2_2_4_2 N n13_a_lockdown__1_1_2_2_4->n13_a_lockdown__1_1_2_2_4_2 n13_a_lockdown__1_1_2_2_4_1->n13_a_lockdown__1_1_2_2_4_1_1 n13_a_lockdown__1_1_2_2_4_2->n13_a_lockdown__1_1_2_2_4_2_1 n13_a_lockdown__1_1_3->n13_a_lockdown__1_1_3_1 n13_a_lockdown__1_1_4_1 CONJ n13_a_lockdown__1_1_4->n13_a_lockdown__1_1_4_1 n13_a_lockdown__1_1_4_2 ILYR n13_a_lockdown__1_1_4->n13_a_lockdown__1_1_4_2 n13_a_lockdown__1_1_4_1->n13_a_lockdown__1_1_4_1_1 n13_a_lockdown__1_1_4_2_1 NP-SBJ n13_a_lockdown__1_1_4_2->n13_a_lockdown__1_1_4_2_1 n13_a_lockdown__1_1_4_2_2 HVD;_Tn_ n13_a_lockdown__1_1_4_2->n13_a_lockdown__1_1_4_2_2 n13_a_lockdown__1_1_4_2_3 NP-OB1 n13_a_lockdown__1_1_4_2->n13_a_lockdown__1_1_4_2_3 n13_a_lockdown__1_1_4_2_1_1 PRO n13_a_lockdown__1_1_4_2_1->n13_a_lockdown__1_1_4_2_1_1 n13_a_lockdown__1_1_4_2_1_1->n13_a_lockdown__1_1_4_2_1_1_1 n13_a_lockdown__1_1_4_2_2->n13_a_lockdown__1_1_4_2_2_1 n13_a_lockdown__1_1_4_2_3_1 D n13_a_lockdown__1_1_4_2_3->n13_a_lockdown__1_1_4_2_3_1 n13_a_lockdown__1_1_4_2_3_2 N n13_a_lockdown__1_1_4_2_3->n13_a_lockdown__1_1_4_2_3_2 n13_a_lockdown__1_1_4_2_3_3 IP-REL n13_a_lockdown__1_1_4_2_3->n13_a_lockdown__1_1_4_2_3_3 n13_a_lockdown__1_1_4_2_3_1->n13_a_lockdown__1_1_4_2_3_1_1 n13_a_lockdown__1_1_4_2_3_2->n13_a_lockdown__1_1_4_2_3_2_1 n13_a_lockdown__1_1_4_2_3_3_1 C n13_a_lockdown__1_1_4_2_3_3->n13_a_lockdown__1_1_4_2_3_3_1 n13_a_lockdown__1_1_4_2_3_3_2 NP-SBJ n13_a_lockdown__1_1_4_2_3_3->n13_a_lockdown__1_1_4_2_3_3_2 n13_a_lockdown__1_1_4_2_3_3_3 BED;_La_ n13_a_lockdown__1_1_4_2_3_3->n13_a_lockdown__1_1_4_2_3_3_3 n13_a_lockdown__1_1_4_2_3_3_4 ADJP-PRD n13_a_lockdown__1_1_4_2_3_3->n13_a_lockdown__1_1_4_2_3_3_4 n13_a_lockdown__1_1_4_2_3_3_1->n13_a_lockdown__1_1_4_2_3_3_1_1 n13_a_lockdown__1_1_4_2_3_3_2->n13_a_lockdown__1_1_4_2_3_3_2_1 n13_a_lockdown__1_1_4_2_3_3_3->n13_a_lockdown__1_1_4_2_3_3_3_1 n13_a_lockdown__1_1_4_2_3_3_4_1 ADJ n13_a_lockdown__1_1_4_2_3_3_4->n13_a_lockdown__1_1_4_2_3_3_4_1 n13_a_lockdown__1_1_4_2_3_3_4_1->n13_a_lockdown__1_1_4_2_3_3_4_1_1 n13_a_lockdown__1_2->n13_a_lockdown__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Normally;{normally}))
                      (NP-SBJ;{PERSON_A} (PRO I;{I}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (VB;_phr_Vp_ help;{help[out]})
                                  (RP out;{out})))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{PERSON_A} (PRO I;{I}))
                             (BED;_La_ was;{be})
                             (ADJP-PRD (ADJ busy;{busy})
                                       (PP (P-ROLE with;{with})
                                           (NP (D;_nphd_ lots;{lots})
                                               (PP (P-ROLE of;{of})
                                                   (NP (ADJP (ADJ other;{other}))
                                                       (NS things;{thing}))))))
                             (NP-NIM (D that;{that})
                                     (N day;{day}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{SON_OF_A} (PRO he;{he}))
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (D a;{a})
                                     (N presentation;{presentation})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (BED;_La_ was;{be})
                                             (ADJP-PRD (ADJ overdue;{overdue})))))))
          (PUNC .))
  (ID 13_a_lockdown;speaker=a))