arc(r_0105_0003__remain, r_0105_0002__We, arg0).
arc(r_0105_0003__remain, r_0105_0005__it, r_0105_0004__for_nim12).

fof(formula,axiom,
    ? [R_0105_0002__WE,R_0105_0005__IT,R_0105_0003__REMAIN] :
      ( r_0105_0002__We(R_0105_0002__WE)
      & r_0105_0005__it(R_0105_0005__IT)
      & r_0105_0003__remain(R_0105_0003__REMAIN)
      & has_r_0105_0004__for_nim12(R_0105_0003__REMAIN,R_0105_0005__IT)
      & has_arg0(R_0105_0003__REMAIN,R_0105_0002__WE) ) ).

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