( (IP-MAT (NP-SBJ;{GOOGLE} (NPR Google;{Google}))
          (VBP;_Cn.n/a_ sees;{see[as]})
          (NP-OB1;{PLACEMENT} (D;_nphd_ that;{that}))
          (PP-PRD (P-ROLE as;{as})
                  (NP (D a;{a})
                      (N win_<hyphen>_win;{win_win})))
          (PUNC .))
  (ID 54_a_duplex))

arc(r_0054_0002__sees,r_0054_0001__Google,arg0).
arc(r_0054_0002__sees,r_0054_0003__that,arg1).
arc(r_0054_0002__sees,r_0054_0005__a_r_0054_0006__win__hyphen__win,r_0054_0004__as__prd).

fof(formula,axiom,
    ? [R_0054_0001__GOOGLE,R_0054_0003__THAT,R_0054_0005__A_R_0054_0006__WIN__HYPHEN__WIN,R_0054_0002__SEES] :
      ( r_0054_0001__Google(R_0054_0001__GOOGLE)
      & r_0054_0003__that(R_0054_0003__THAT)
      & r_0054_0005__a_r_0054_0006__win__hyphen__win(R_0054_0005__A_R_0054_0006__WIN__HYPHEN__WIN)
      & r_0054_0002__sees(R_0054_0002__SEES)
      & has_r_0054_0004__as__prd(R_0054_0002__SEES,R_0054_0005__A_R_0054_0006__WIN__HYPHEN__WIN)
      & has_arg1(R_0054_0002__SEES,R_0054_0003__THAT)
      & has_arg0(R_0054_0002__SEES,R_0054_0001__GOOGLE) ) ).