( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (PRO We;{we}))
          (VBP;__ remain;{remain})
          (PP-NIM (P-ROLE for;{for})
                  (NP (PRO it;{it})))
          (PUNC .))
  (ID 107_a_lob_a01))

arc(r_0107_0003__remain,r_0107_0002__We,arg0).
arc(r_0107_0003__remain,r_0107_0005__it,r_0107_0004__for__nim).

fof(formula,axiom,
    ? [R_0107_0002__WE,R_0107_0005__IT,R_0107_0003__REMAIN] :
      ( r_0107_0002__We(R_0107_0002__WE)
      & r_0107_0005__it(R_0107_0005__IT)
      & r_0107_0003__remain(R_0107_0003__REMAIN)
      & has_r_0107_0004__for__nim(R_0107_0003__REMAIN,R_0107_0005__IT)
      & has_arg0(R_0107_0003__REMAIN,R_0107_0002__WE) ) ).