7_a_duplex
First shown at the tech giant's developers' conference in May, Duplex has become one of the most talked about demos of the year so far.
( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
(ADVP-NIM (NUM First;{first}))
(VVN;_Tn_ shown;{show})
(PP-NIM (P-ROLE at;{at})
(NP;{CONFERENCE} (NP-GEN (NP-GEN;{GOOGLE} (D the;{the})
(ADJP (ADJ tech;{tech}))
(N giant;{giant})
(GENM <apos>s))
(NS developers;{developer})
(GENM <apos>))
(N conference;{conference})))
(PP-NIM (P-ROLE in;{in})
(NP (NPR May;{May})))))
(PUNC ,)
(NP-SBJ;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Ln_ become;{become})
(NP-PRD (NUM one;{one})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(IP-PPL (NP-LGS *)
(ADVP-NIM (ADVS most;{most}))
(VVN;_Ipr_ talked;{talk[about]})
(PP-CLR (P-ROLE about;{about}))
(PP-NIM *ICH*-134))
(NS demos;{demo})
(PP-EPD-134 (P-ROLE of;{of})
(NP (D the;{the})
(N year;{year})
(ADVP-NIM (ADVP (ADV so;{so}))
(ADV far;{far}))))))))
(PUNC .))
(ID 7_a_duplex))
arc(r_0007_0002__shown,r_0007_0001__First,nim).
arc(r_0007_0002__shown,r_0007_0010__conference,r_0007_0003__at__nim).
arc(r_0007_0002__shown,r_0007_0012__May,r_0007_0011__in__nim).
arc(r_0007_0002__shown,r_0007_0014__Duplex,arg1).
arc(r_0007_0002__shown,z_0007_5008___star_,arg0).
arc(r_0007_0004__the_r_0007_0006__giant,r_0007_0005__tech,attrib).
arc(r_0007_0008__developers,r_0007_0004__the_r_0007_0006__giant,gen).
arc(r_0007_0010__conference,r_0007_0008__developers,gen).
arc(r_0007_0015__has,r_0007_0016__become,scope).
arc(r_0007_0016__become,r_0007_0014__Duplex,arg0).
arc(r_0007_0016__become,r_0007_0017__one,prd).
arc(r_0007_0017__one,r_0007_0019__the_r_0007_0023__demos,r_0007_0018__of).
arc(r_0007_0021__talked_r_0007_0022__about,r_0007_0019__the_r_0007_0023__demos,inv_arg1).
arc(r_0007_0021__talked_r_0007_0022__about,r_0007_0020__most,nim).
arc(r_0007_0021__talked_r_0007_0022__about,r_0007_0025__the_r_0007_0026__year,r_0007_0024__of__nim).
arc(r_0007_0021__talked_r_0007_0022__about,z_0007_5017___star_,arg0).
arc(r_0007_0025__the_r_0007_0026__year,r_0007_0028__far,nim).
arc(r_0007_0028__far,r_0007_0027__so,qual).
arc(z_0007_5001,r_0007_0002__shown,restriction).
arc(z_0007_5001,r_0007_0015__has,scope).
fof(formula,axiom,
? [R_0007_0001__FIRST,R_0007_0005__TECH,R_0007_0004__THE_R_0007_0006__GIANT,R_0007_0008__DEVELOPERS,R_0007_0010__CONFERENCE,R_0007_0012__MAY,R_0007_0014__DUPLEX,Z_0007_5008___STAR_,R_0007_0002__SHOWN,R_0007_0020__MOST,R_0007_0027__SO,R_0007_0028__FAR,R_0007_0025__THE_R_0007_0026__YEAR,Z_0007_5017___STAR_,R_0007_0021__TALKED_R_0007_0022__ABOUT,R_0007_0019__THE_R_0007_0023__DEMOS,R_0007_0017__ONE,R_0007_0015__HAS_R_0007_0016__BECOME,Z_0007_5001] :
( r_0007_0001__First(R_0007_0001__FIRST)
& r_0007_0005__tech(R_0007_0005__TECH)
& r_0007_0012__May(R_0007_0012__MAY)
& r_0007_0014__Duplex(R_0007_0014__DUPLEX)
& r_0007_0020__most(R_0007_0020__MOST)
& r_0007_0027__so(R_0007_0027__SO)
& z_0007_5008___star_(Z_0007_5008___STAR_)
& z_0007_5017___star_(Z_0007_5017___STAR_)
& z_0007_5001(Z_0007_5001)
& has_conj2(Z_0007_5001,R_0007_0015__HAS_R_0007_0016__BECOME)
& r_0007_0015__has_r_0007_0016__become(R_0007_0015__HAS_R_0007_0016__BECOME)
& has_prd(R_0007_0015__HAS_R_0007_0016__BECOME,R_0007_0017__ONE)
& r_0007_0017__one(R_0007_0017__ONE)
& has_r_0007_0018__of(R_0007_0017__ONE,R_0007_0019__THE_R_0007_0023__DEMOS)
& r_0007_0019__the_r_0007_0023__demos(R_0007_0019__THE_R_0007_0023__DEMOS)
& has_inv_arg1(R_0007_0019__THE_R_0007_0023__DEMOS,R_0007_0021__TALKED_R_0007_0022__ABOUT)
& r_0007_0021__talked_r_0007_0022__about(R_0007_0021__TALKED_R_0007_0022__ABOUT)
& has_arg0(R_0007_0021__TALKED_R_0007_0022__ABOUT,Z_0007_5017___STAR_)
& has_r_0007_0024__of__nim(R_0007_0021__TALKED_R_0007_0022__ABOUT,R_0007_0025__THE_R_0007_0026__YEAR)
& r_0007_0025__the_r_0007_0026__year(R_0007_0025__THE_R_0007_0026__YEAR)
& has_nim(R_0007_0025__THE_R_0007_0026__YEAR,R_0007_0028__FAR)
& r_0007_0028__far(R_0007_0028__FAR)
& has_qual(R_0007_0028__FAR,R_0007_0027__SO)
& has_nim(R_0007_0021__TALKED_R_0007_0022__ABOUT,R_0007_0020__MOST)
& has_arg0(R_0007_0015__HAS_R_0007_0016__BECOME,R_0007_0014__DUPLEX)
& has_conj1(Z_0007_5001,R_0007_0002__SHOWN)
& r_0007_0002__shown(R_0007_0002__SHOWN)
& has_arg0(R_0007_0002__SHOWN,Z_0007_5008___STAR_)
& has_arg1(R_0007_0002__SHOWN,R_0007_0014__DUPLEX)
& has_r_0007_0011__in__nim(R_0007_0002__SHOWN,R_0007_0012__MAY)
& has_r_0007_0003__at__nim(R_0007_0002__SHOWN,R_0007_0010__CONFERENCE)
& r_0007_0010__conference(R_0007_0010__CONFERENCE)
& has_gen(R_0007_0010__CONFERENCE,R_0007_0008__DEVELOPERS)
& r_0007_0008__developers(R_0007_0008__DEVELOPERS)
& has_gen(R_0007_0008__DEVELOPERS,R_0007_0004__THE_R_0007_0006__GIANT)
& r_0007_0004__the_r_0007_0006__giant(R_0007_0004__THE_R_0007_0006__GIANT)
& has_attrib(R_0007_0004__THE_R_0007_0006__GIANT,R_0007_0005__TECH)
& has_nim(R_0007_0002__SHOWN,R_0007_0001__FIRST) ) ).