Context                Previous, Next                Top


5_a_lockdown
We've all had to sacrifice a lot while being stuck indoors.

%3 r_0005_0002___apos_ve 've r_0005_0004__had had r_0005_0002___apos_ve->r_0005_0004__had [scope] r_0005_0003__all all r_0005_0004__had->r_0005_0003__all [nim] r_0005_0005__to_r_0005_0006__sacrifice to sacrifice r_0005_0004__had->r_0005_0005__to_r_0005_0006__sacrifice [scope] r_0005_0001__We We r_0005_0005__to_r_0005_0006__sacrifice->r_0005_0001__We [arg0] r_0005_0007__a_lot a lot r_0005_0005__to_r_0005_0006__sacrifice->r_0005_0007__a_lot [arg1] r_0005_0008__while while r_0005_0008__while->r_0005_0002___apos_ve [scope] r_0005_0009__being being r_0005_0008__while->r_0005_0009__being [restriction] r_0005_0009__being->r_0005_0001__We [arg0] r_0005_0011__indoors indoors r_0005_0009__being->r_0005_0011__indoors [prd] r_0005_0010__stuck stuck r_0005_0011__indoors->r_0005_0010__stuck [attrib] 
arc(r_0005_0002___apos_ve, r_0005_0004__had, scope).
arc(r_0005_0004__had, r_0005_0003__all, nim8).
arc(r_0005_0004__had, r_0005_0005__to_r_0005_0006__sacrifice, scope).
arc(r_0005_0005__to_r_0005_0006__sacrifice, r_0005_0001__We, arg0).
arc(r_0005_0005__to_r_0005_0006__sacrifice, r_0005_0007__a_lot, arg1).
arc(r_0005_0008__while, r_0005_0002___apos_ve, scope).
arc(r_0005_0008__while, r_0005_0009__being, restriction).
arc(r_0005_0009__being, r_0005_0001__We, arg0).
arc(r_0005_0009__being, r_0005_0011__indoors, prd).
arc(r_0005_0011__indoors, r_0005_0010__stuck, attrib28).


%3 r_0005_0011__indoors indoors r_0005_0010__stuck stuck r_0005_0011__indoors->r_0005_0010__stuck [attrib] r_0005_0009__being being r_0005_0009__being->r_0005_0011__indoors [prd] r_0005_0001__We We r_0005_0009__being->r_0005_0001__We [arg0] r_0005_0008__while while r_0005_0008__while->r_0005_0009__being [conj1] r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice 've had to sacrifice r_0005_0008__while->r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice [conj2] r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice->r_0005_0001__We [arg0] r_0005_0007__a_lot a lot r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice->r_0005_0007__a_lot [arg1] r_0005_0003__all all r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice->r_0005_0003__all [nim] 
fof(formula,axiom,
    ? [R_5_8_WHILE,R_5_9_BEING,R_5_11_INDOORS,R_5_10_STUCK,R_5_2__APOS_VE_HAD_TO_SACRIFICE,R_5_1_WE,R_5_7_A_LOT,R_5_3_ALL] :
      ( stuck(R_5_10_STUCK)
      & we(R_5_1_WE)
      & a_lot(R_5_7_A_LOT)
      & all(R_5_3_ALL)
      & while(R_5_8_WHILE)
      & conj1(R_5_8_WHILE,R_5_9_BEING)
      & being(R_5_9_BEING,R_5_1_WE,R_5_11_INDOORS)
      & indoors(R_5_11_INDOORS)
      & attrib28(R_5_11_INDOORS,R_5_10_STUCK)
      & conj2(R_5_8_WHILE,R_5_2__APOS_VE_HAD_TO_SACRIFICE)
      & _apos_ve_had_to_sacrifice(R_5_2__APOS_VE_HAD_TO_SACRIFICE,R_5_1_WE,R_5_7_A_LOT)
      & nim8(R_5_2__APOS_VE_HAD_TO_SACRIFICE,R_5_3_ALL) ) ).


n5_a_lockdown n5_a_lockdown__1_1_1_1 We n5_a_lockdown__1_2_1 've n5_a_lockdown__1_3_1_1_1 all n5_a_lockdown__1_3_2_1 had n5_a_lockdown__1_3_3_1_1 to n5_a_lockdown__1_3_3_2_1 sacrifice n5_a_lockdown__1_3_3_3_1_1 a_lot n5_a_lockdown__1_4_1_1 while n5_a_lockdown__1_4_2_1_1 being n5_a_lockdown__1_4_2_2_1_1_1 stuck n5_a_lockdown__1_4_2_2_2_1 indoors n5_a_lockdown__1_5_1 . n5_a_lockdown__1 IP-MAT n5_a_lockdown__1_1 NP-SBJ n5_a_lockdown__1->n5_a_lockdown__1_1 n5_a_lockdown__1_2 HVP;_cat_Ve_ n5_a_lockdown__1->n5_a_lockdown__1_2 n5_a_lockdown__1_3 IP-PPL-CAT n5_a_lockdown__1->n5_a_lockdown__1_3 n5_a_lockdown__1_4 PP-SCON n5_a_lockdown__1->n5_a_lockdown__1_4 n5_a_lockdown__1_5 PUNC n5_a_lockdown__1->n5_a_lockdown__1_5 n5_a_lockdown__1_1_1 PRO n5_a_lockdown__1_1->n5_a_lockdown__1_1_1 n5_a_lockdown__1_1_1->n5_a_lockdown__1_1_1_1 n5_a_lockdown__1_2->n5_a_lockdown__1_2_1 n5_a_lockdown__1_3_1 ADVP-NIM n5_a_lockdown__1_3->n5_a_lockdown__1_3_1 n5_a_lockdown__1_3_2 HVN;_cat_Vt_ n5_a_lockdown__1_3->n5_a_lockdown__1_3_2 n5_a_lockdown__1_3_3 IP-INF-CAT n5_a_lockdown__1_3->n5_a_lockdown__1_3_3 n5_a_lockdown__1_3_1_1 ADV n5_a_lockdown__1_3_1->n5_a_lockdown__1_3_1_1 n5_a_lockdown__1_3_1_1->n5_a_lockdown__1_3_1_1_1 n5_a_lockdown__1_3_2->n5_a_lockdown__1_3_2_1 n5_a_lockdown__1_3_3_1 TO n5_a_lockdown__1_3_3->n5_a_lockdown__1_3_3_1 n5_a_lockdown__1_3_3_2 VB;_Tn_ n5_a_lockdown__1_3_3->n5_a_lockdown__1_3_3_2 n5_a_lockdown__1_3_3_3 NP-OB1 n5_a_lockdown__1_3_3->n5_a_lockdown__1_3_3_3 n5_a_lockdown__1_3_3_1->n5_a_lockdown__1_3_3_1_1 n5_a_lockdown__1_3_3_2->n5_a_lockdown__1_3_3_2_1 n5_a_lockdown__1_3_3_3_1 D;_nphd_ n5_a_lockdown__1_3_3_3->n5_a_lockdown__1_3_3_3_1 n5_a_lockdown__1_3_3_3_1->n5_a_lockdown__1_3_3_3_1_1 n5_a_lockdown__1_4_1 P-CONN n5_a_lockdown__1_4->n5_a_lockdown__1_4_1 n5_a_lockdown__1_4_2 IP-PPL2 n5_a_lockdown__1_4->n5_a_lockdown__1_4_2 n5_a_lockdown__1_4_1->n5_a_lockdown__1_4_1_1 n5_a_lockdown__1_4_2_1 BAG;_Ln_ n5_a_lockdown__1_4_2->n5_a_lockdown__1_4_2_1 n5_a_lockdown__1_4_2_2 NP-PRD n5_a_lockdown__1_4_2->n5_a_lockdown__1_4_2_2 n5_a_lockdown__1_4_2_1->n5_a_lockdown__1_4_2_1_1 n5_a_lockdown__1_4_2_2_1 ADJP n5_a_lockdown__1_4_2_2->n5_a_lockdown__1_4_2_2_1 n5_a_lockdown__1_4_2_2_2 NS n5_a_lockdown__1_4_2_2->n5_a_lockdown__1_4_2_2_2 n5_a_lockdown__1_4_2_2_1_1 ADJ n5_a_lockdown__1_4_2_2_1->n5_a_lockdown__1_4_2_2_1_1 n5_a_lockdown__1_4_2_2_1_1->n5_a_lockdown__1_4_2_2_1_1_1 n5_a_lockdown__1_4_2_2_2->n5_a_lockdown__1_4_2_2_2_1 n5_a_lockdown__1_5->n5_a_lockdown__1_5_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV all;{all}))
                      (HVN;_cat_Vt_ had;{have})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ sacrifice;{sacrifice})
                                  (NP-OB1 (D;_nphd_ a_lot;{a_lot}))))
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL2 (BAG;_Ln_ being;{be})
                            (NP-PRD (ADJP (ADJ stuck;{stuck}))
                                    (NS indoors;{indoors}))))
          (PUNC .))
  (ID 5_a_lockdown;speaker=-))