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.
arc(r_0007_0002__shown, r_0007_0001__First, nim6).
arc(r_0007_0002__shown, r_0007_0010__conference, r_0007_0003__at_nim14).
arc(r_0007_0002__shown, r_0007_0012__May, r_0007_0011__in_nim35).
arc(r_0007_0002__shown, r_0007_0014__Duplex, arg1).
arc(r_0007_0002__shown, z_000_7_a_duplex_4, arg0).
arc(r_0007_0004__the_r_0007_0006__giant_r_0007_0007___apos_s, r_0007_0005__tech, attrib19).
arc(r_0007_0008__developers_r_0007_0009___apos_, r_0007_0004__the_r_0007_0006__giant_r_0007_0007___apos_s, gen).
arc(r_0007_0010__conference, r_0007_0008__developers_r_0007_0009___apos_, 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_0019__the_r_0007_0023__demos, arg1).
arc(r_0007_0021__talked, r_0007_0020__most, nim60).
arc(r_0007_0021__talked, r_0007_0025__the_r_0007_0026__year, r_0007_0024__of_nim75).
arc(r_0007_0021__talked, z_000_7_a_duplex_58, arg0).
arc(r_0007_0025__the_r_0007_0026__year, r_0007_0028__far, qual80).
arc(r_0007_0028__far, r_0007_0027__so, qual81).
arc(z_000_7_a_duplex_2, r_0007_0002__shown, restriction).
arc(z_000_7_a_duplex_2, r_0007_0015__has, scope).
fof(formula,axiom,
? [R_0007_0019__THE_R_0007_0023__DEMOS,R_0007_0020__MOST,R_0007_0027__SO,R_0007_0028__FAR,R_0007_0025__THE_R_0007_0026__YEAR,Z_000_7_A_DUPLEX_58,R_0007_0021__TALKED,R_0007_0001__FIRST,R_0007_0005__TECH,R_0007_0004__THE_R_0007_0006__GIANT_R_0007_0007___APOS_S,R_0007_0008__DEVELOPERS_R_0007_0009___APOS_,R_0007_0010__CONFERENCE,R_0007_0012__MAY,R_0007_0014__DUPLEX,Z_000_7_A_DUPLEX_4,R_0007_0002__SHOWN,R_0007_0017__ONE,R_0007_0015__HAS_R_0007_0016__BECOME,Z_000_7_A_DUPLEX_2] :
( 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_0019__the_r_0007_0023__demos(R_0007_0019__THE_R_0007_0023__DEMOS)
& r_0007_0020__most(R_0007_0020__MOST)
& r_0007_0027__so(R_0007_0027__SO)
& z_000_7_a_duplex_4(Z_000_7_A_DUPLEX_4)
& z_000_7_a_duplex_58(Z_000_7_A_DUPLEX_58)
& z_000_7_a_duplex_2(Z_000_7_A_DUPLEX_2)
& has_conj2(Z_000_7_A_DUPLEX_2,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)
& has_arg0(R_0007_0015__HAS_R_0007_0016__BECOME,R_0007_0014__DUPLEX)
& has_conj1(Z_000_7_A_DUPLEX_2,R_0007_0002__SHOWN)
& r_0007_0002__shown(R_0007_0002__SHOWN)
& has_arg0(R_0007_0002__SHOWN,Z_000_7_A_DUPLEX_4)
& has_arg1(R_0007_0002__SHOWN,R_0007_0014__DUPLEX)
& has_r_0007_0011__in_nim35(R_0007_0002__SHOWN,R_0007_0012__MAY)
& has_r_0007_0003__at_nim14(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_0009___APOS_)
& r_0007_0008__developers_r_0007_0009___apos_(R_0007_0008__DEVELOPERS_R_0007_0009___APOS_)
& has_gen(R_0007_0008__DEVELOPERS_R_0007_0009___APOS_,R_0007_0004__THE_R_0007_0006__GIANT_R_0007_0007___APOS_S)
& r_0007_0004__the_r_0007_0006__giant_r_0007_0007___apos_s(R_0007_0004__THE_R_0007_0006__GIANT_R_0007_0007___APOS_S)
& has_attrib19(R_0007_0004__THE_R_0007_0006__GIANT_R_0007_0007___APOS_S,R_0007_0005__TECH)
& has_nim6(R_0007_0002__SHOWN,R_0007_0001__FIRST)
& r_0007_0021__talked(R_0007_0021__TALKED)
& has_arg0(R_0007_0021__TALKED,Z_000_7_A_DUPLEX_58)
& has_r_0007_0024__of_nim75(R_0007_0021__TALKED,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_qual80(R_0007_0025__THE_R_0007_0026__YEAR,R_0007_0028__FAR)
& r_0007_0028__far(R_0007_0028__FAR)
& has_qual81(R_0007_0028__FAR,R_0007_0027__SO)
& has_nim60(R_0007_0021__TALKED,R_0007_0020__MOST)
& has_arg1(R_0007_0021__TALKED,R_0007_0019__THE_R_0007_0023__DEMOS) ) ).
( (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))