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

arc(r_0005_0002___apos_ve,r_0005_0004__had,scope).
arc(r_0005_0004__had,r_0005_0003__all,nim).
arc(r_0005_0004__had,r_0005_0006__sacrifice,scope).
arc(r_0005_0006__sacrifice,r_0005_0001__We,arg0).
arc(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,attrib).

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_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_attrib(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_0006__SACRIFICE)
      & r_0005_0002___apos_ve_r_0005_0004__had_r_0005_0006__sacrifice(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0006__SACRIFICE)
      & has_arg1(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0006__SACRIFICE,R_0005_0007__A_LOT)
      & has_arg0(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0006__SACRIFICE,R_0005_0001__WE)
      & has_nim(R_0005_0002___APOS_VE_R_0005_0004__HAD_R_0005_0006__SACRIFICE,R_0005_0003__ALL) ) ).