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_7_21_TALKED,Z_7_A_DUPLEX_58,R_7_20_MOST,R_7_25_THE_YEAR,R_7_28_FAR,R_7_27_SO,Z_7_A_DUPLEX_2,R_7_2_SHOWN,Z_7_A_DUPLEX_4,R_7_1_FIRST,R_7_10_CONFERENCE,R_7_8_DEVELOPERS_APOS_,R_7_4_THE_GIANT_APOS_S,R_7_5_TECH,R_7_12_MAY,R_7_15_HAS_BECOME,R_7_14_DUPLEX,R_7_17_ONE,R_7_19_THE_DEMOS] :
( most(R_7_20_MOST)
& so(R_7_27_SO)
& first(R_7_1_FIRST)
& tech(R_7_5_TECH)
& may(R_7_12_MAY)
& duplex(R_7_14_DUPLEX)
& the_demos(R_7_19_THE_DEMOS)
& talked(R_7_21_TALKED,Z_7_A_DUPLEX_58,R_7_19_THE_DEMOS)
& nim60(R_7_21_TALKED,R_7_20_MOST)
& of_nim75(R_7_21_TALKED,R_7_25_THE_YEAR)
& the_year(R_7_25_THE_YEAR)
& qual80(R_7_25_THE_YEAR,R_7_28_FAR)
& far(R_7_28_FAR)
& qual81(R_7_28_FAR,R_7_27_SO)
& z_7_a_duplex_2(Z_7_A_DUPLEX_2)
& conj1(Z_7_A_DUPLEX_2,R_7_2_SHOWN)
& shown(R_7_2_SHOWN,Z_7_A_DUPLEX_4,R_7_14_DUPLEX)
& nim6(R_7_2_SHOWN,R_7_1_FIRST)
& at_nim14(R_7_2_SHOWN,R_7_10_CONFERENCE)
& conference(R_7_10_CONFERENCE)
& gen(R_7_10_CONFERENCE,R_7_8_DEVELOPERS_APOS_)
& developers_apos_(R_7_8_DEVELOPERS_APOS_)
& gen(R_7_8_DEVELOPERS_APOS_,R_7_4_THE_GIANT_APOS_S)
& the_giant_apos_s(R_7_4_THE_GIANT_APOS_S)
& attrib19(R_7_4_THE_GIANT_APOS_S,R_7_5_TECH)
& in_nim35(R_7_2_SHOWN,R_7_12_MAY)
& conj2(Z_7_A_DUPLEX_2,R_7_15_HAS_BECOME)
& has_become(R_7_15_HAS_BECOME,R_7_14_DUPLEX,R_7_17_ONE)
& one(R_7_17_ONE)
& of(R_7_17_ONE,R_7_19_THE_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))