54_a_duplex
Google sees that as a win-win.
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, prd).
fof(formula,axiom,
? [R_54_2_SEES,R_54_1_GOOGLE,R_54_3_THAT,R_54_5_A_WIN_HYPHEN_WIN] :
( google(R_54_1_GOOGLE)
& that(R_54_3_THAT)
& a_win_hyphen_win(R_54_5_A_WIN_HYPHEN_WIN)
& sees(R_54_2_SEES,R_54_1_GOOGLE,R_54_3_THAT,R_54_5_A_WIN_HYPHEN_WIN) ) ).
( (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))