( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ picked;{pick})
          (RP up;{up})
          (NP-OB1 (NUM four;{four}))
          (PUNC .))
  (ID 195_a_loosechange))

arc(r_0195_0002__picked_r_0195_0003__up,r_0195_0001__I,arg0).
arc(r_0195_0002__picked_r_0195_0003__up,r_0195_0004__four,arg1).

fof(formula,axiom,
    ? [R_0195_0001__I,R_0195_0004__FOUR,R_0195_0002__PICKED_R_0195_0003__UP] :
      ( r_0195_0001__I(R_0195_0001__I)
      & r_0195_0004__four(R_0195_0004__FOUR)
      & r_0195_0002__picked_r_0195_0003__up(R_0195_0002__PICKED_R_0195_0003__UP)
      & has_arg1(R_0195_0002__PICKED_R_0195_0003__UP,R_0195_0004__FOUR)
      & has_arg0(R_0195_0002__PICKED_R_0195_0003__UP,R_0195_0001__I) ) ).