( (FRAG (VBP;_Tn_ love;{love})
        (NP-OB1 (PRO you;{you})
                (PRN (NP (NS guys;{guy})))))
  (ID 14_a_osaka_statement))

arc(r_0014_0001__love,r_0014_0002__you,arg1).
arc(z_0014_5002,r_0014_0002__you,arg0).
arc(z_0014_5002,r_0014_0003__guys,prd).

fof(formula,axiom,
    ? [R_0014_0002__YOU,R_0014_0001__LOVE,R_0014_0003__GUYS,Z_0014_5002] :
      ( r_0014_0002__you(R_0014_0002__YOU)
      & r_0014_0003__guys(R_0014_0003__GUYS)
      & z_0014_5002(Z_0014_5002)
      & has_prd(Z_0014_5002,R_0014_0003__GUYS)
      & has_arg0(Z_0014_5002,R_0014_0002__YOU)
      & r_0014_0001__love(R_0014_0001__LOVE)
      & has_arg1(R_0014_0001__LOVE,R_0014_0002__YOU) ) ).