5_a_lockdown
We've all had to sacrifice a lot while being stuck indoors.
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).
fof(formula,axiom,
? [R_0005_0003__ALL,R_0005_0001__WE,R_0005_0007__A_LOT,R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE,R_0005_0010__STUCK,R_0005_0011__INDOORS,R_0005_0009__BEING,R_0005_0008__WHILE] :
( r_0005_0001__We(R_0005_0001__WE)
& r_0005_0003__all(R_0005_0003__ALL)
& r_0005_0007__a_lot(R_0005_0007__A_LOT)
& r_0005_0010__stuck(R_0005_0010__STUCK)
& r_0005_0008__while(R_0005_0008__WHILE)
& has_conj1(R_0005_0008__WHILE,R_0005_0009__BEING)
& r_0005_0009__being(R_0005_0009__BEING)
& has_prd(R_0005_0009__BEING,R_0005_0011__INDOORS)
& r_0005_0011__indoors(R_0005_0011__INDOORS)
& has_attrib28(R_0005_0011__INDOORS,R_0005_0010__STUCK)
& has_arg0(R_0005_0009__BEING,R_0005_0001__WE)
& has_conj2(R_0005_0008__WHILE,R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE)
& r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0005__to_r_0005_0006__sacrifice(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE)
& has_arg1(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE,R_0005_0007__A_LOT)
& has_arg0(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE,R_0005_0001__WE)
& has_nim8(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0005__TO_R_0005_0006__SACRIFICE,R_0005_0003__ALL) ) ).
( (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=-))