16_a_duplex
On Tuesday, at a hummus restaurant in Mountain View, the Silicon Valley town that surrounds Google's campus, I heard Duplex in live action for the first time.

%3 r_0016_0005__a_r_0016_0007__restaurant a restaurant r_0016_0006__hummus hummus r_0016_0005__a_r_0016_0007__restaurant->r_0016_0006__hummus [attrib] r_0016_0009__Mountain_r_0016_0010__View Mountain View r_0016_0005__a_r_0016_0007__restaurant->r_0016_0009__Mountain_r_0016_0010__View in r_0016_0016__that_r_0016_0017__surrounds that surrounds r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town the Silicon Valley town r_0016_0016__that_r_0016_0017__surrounds->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [arg0] r_0016_0020__campus campus r_0016_0016__that_r_0016_0017__surrounds->r_0016_0020__campus [arg1] r_0016_0018__Google_r_0016_0019___apos_s Google 's r_0016_0020__campus->r_0016_0018__Google_r_0016_0019___apos_s [gen] r_0016_0023__heard heard r_0016_0023__heard->r_0016_0005__a_r_0016_0007__restaurant at [nim] r_0016_0002__Tuesday Tuesday r_0016_0023__heard->r_0016_0002__Tuesday On [nim] r_0016_0022__I I r_0016_0023__heard->r_0016_0022__I [arg0] r_0016_0024__Duplex Duplex r_0016_0023__heard->r_0016_0024__Duplex [arg1] r_0016_0027__action action r_0016_0023__heard->r_0016_0027__action in [nim] r_0016_0029__the_r_0016_0030__first_r_0016_0031__time the first time r_0016_0023__heard->r_0016_0029__the_r_0016_0030__first_r_0016_0031__time for [nim] r_0016_0026__live live r_0016_0027__action->r_0016_0026__live [attrib] z_000_16_a_duplex_31 z_000_16_a_duplex_31->r_0016_0009__Mountain_r_0016_0010__View [arg0] z_000_16_a_duplex_31->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [prd]
arc(r_0016_0005__a_r_0016_0007__restaurant, r_0016_0006__hummus, attrib16).
arc(r_0016_0005__a_r_0016_0007__restaurant, r_0016_0009__Mountain_r_0016_0010__View, r_0016_0008__in).
arc(r_0016_0016__that_r_0016_0017__surrounds, r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town, arg0).
arc(r_0016_0016__that_r_0016_0017__surrounds, r_0016_0020__campus, arg1).
arc(r_0016_0020__campus, r_0016_0018__Google_r_0016_0019___apos_s, gen).
arc(r_0016_0023__heard, r_0016_0002__Tuesday, r_0016_0001__On_nim5).
arc(r_0016_0023__heard, r_0016_0005__a_r_0016_0007__restaurant, r_0016_0004__at_nim13).
arc(r_0016_0023__heard, r_0016_0022__I, arg0).
arc(r_0016_0023__heard, r_0016_0024__Duplex, arg1).
arc(r_0016_0023__heard, r_0016_0027__action, r_0016_0025__in_nim69).
arc(r_0016_0023__heard, r_0016_0029__the_r_0016_0030__first_r_0016_0031__time, r_0016_0028__for_nim78).
arc(r_0016_0027__action, r_0016_0026__live, attrib70).
arc(z_000_16_a_duplex_31, r_0016_0009__Mountain_r_0016_0010__View, arg0).
arc(z_000_16_a_duplex_31, r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town, prd).



%3 r_0016_0005__a_r_0016_0007__restaurant a restaurant r_0016_0006__hummus hummus r_0016_0005__a_r_0016_0007__restaurant->r_0016_0006__hummus [attrib] r_0016_0009__Mountain_r_0016_0010__View Mountain View r_0016_0005__a_r_0016_0007__restaurant->r_0016_0009__Mountain_r_0016_0010__View in r_0016_0016__that_r_0016_0017__surrounds that surrounds r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town the Silicon Valley town r_0016_0016__that_r_0016_0017__surrounds->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [arg0] r_0016_0020__campus campus r_0016_0016__that_r_0016_0017__surrounds->r_0016_0020__campus [arg1] r_0016_0018__Google_r_0016_0019___apos_s Google 's r_0016_0020__campus->r_0016_0018__Google_r_0016_0019___apos_s [gen] r_0016_0023__heard heard r_0016_0023__heard->r_0016_0005__a_r_0016_0007__restaurant at [nim] r_0016_0002__Tuesday Tuesday r_0016_0023__heard->r_0016_0002__Tuesday On [nim] r_0016_0022__I I r_0016_0023__heard->r_0016_0022__I [arg0] r_0016_0024__Duplex Duplex r_0016_0023__heard->r_0016_0024__Duplex [arg1] r_0016_0027__action action r_0016_0023__heard->r_0016_0027__action in [nim] r_0016_0029__the_r_0016_0030__first_r_0016_0031__time the first time r_0016_0023__heard->r_0016_0029__the_r_0016_0030__first_r_0016_0031__time for [nim] r_0016_0026__live live r_0016_0027__action->r_0016_0026__live [attrib] z_000_16_a_duplex_31 z_000_16_a_duplex_31->r_0016_0009__Mountain_r_0016_0010__View [arg0] z_000_16_a_duplex_31->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [prd]
fof(formula,axiom,
    ? [R_16_16_THAT_SURROUNDS,R_16_20_CAMPUS,R_16_18_GOOGLE_APOS_S,R_16_23_HEARD,R_16_22_I,R_16_24_DUPLEX,R_16_2_TUESDAY,R_16_5_A_RESTAURANT,R_16_6_HUMMUS,R_16_27_ACTION,R_16_26_LIVE,R_16_29_THE_FIRST_TIME,Z_16_A_DUPLEX_31,R_16_9_MOUNTAIN_VIEW,R_16_12_THE_SILICON_VALLEY_TOWN] :
      ( google_apos_s(R_16_18_GOOGLE_APOS_S)
      & i(R_16_22_I)
      & duplex(R_16_24_DUPLEX)
      & tuesday(R_16_2_TUESDAY)
      & hummus(R_16_6_HUMMUS)
      & live(R_16_26_LIVE)
      & the_first_time(R_16_29_THE_FIRST_TIME)
      & mountain_View(R_16_9_MOUNTAIN_VIEW)
      & the_Silicon_Valley_town(R_16_12_THE_SILICON_VALLEY_TOWN)
      & that_surrounds(R_16_16_THAT_SURROUNDS,R_16_12_THE_SILICON_VALLEY_TOWN,R_16_20_CAMPUS)
      & campus(R_16_20_CAMPUS)
      & gen(R_16_20_CAMPUS,R_16_18_GOOGLE_APOS_S)
      & heard(R_16_23_HEARD,R_16_22_I,R_16_24_DUPLEX)
      & on_nim5(R_16_23_HEARD,R_16_2_TUESDAY)
      & at_nim13(R_16_23_HEARD,R_16_5_A_RESTAURANT)
      & a_restaurant(R_16_5_A_RESTAURANT)
      & attrib16(R_16_5_A_RESTAURANT,R_16_6_HUMMUS)
      & in(R_16_5_A_RESTAURANT,R_16_9_MOUNTAIN_VIEW)
      & in_nim69(R_16_23_HEARD,R_16_27_ACTION)
      & action(R_16_27_ACTION)
      & attrib70(R_16_27_ACTION,R_16_26_LIVE)
      & for_nim78(R_16_23_HEARD,R_16_29_THE_FIRST_TIME)
      & z_16_a_duplex_31(Z_16_A_DUPLEX_31,R_16_9_MOUNTAIN_VIEW,R_16_12_THE_SILICON_VALLEY_TOWN) ) ).



n16_a_duplex n16_a_duplex_4 On n16_a_duplex_7 Tuesday n16_a_duplex_9 , n16_a_duplex_12 at n16_a_duplex_15 a n16_a_duplex_18 hummus n16_a_duplex_20 restaurant n16_a_duplex_23 in n16_a_duplex_26 Mountain n16_a_duplex_28 View n16_a_duplex_30 , n16_a_duplex_34 the n16_a_duplex_36 Silicon n16_a_duplex_38 Valley n16_a_duplex_40 town n16_a_duplex_43 that n16_a_duplex_45 *T* n16_a_duplex_47 surrounds n16_a_duplex_51 Google n16_a_duplex_53 's n16_a_duplex_55 campus n16_a_duplex_57 , n16_a_duplex_60 I n16_a_duplex_62 heard n16_a_duplex_65 Duplex n16_a_duplex_68 in n16_a_duplex_72 live n16_a_duplex_74 action n16_a_duplex_77 for n16_a_duplex_80 the n16_a_duplex_82 first n16_a_duplex_84 time n16_a_duplex_86 . n16_a_duplex_1 IP-MAT n16_a_duplex_2 PP-NIM n16_a_duplex_1->n16_a_duplex_2 n16_a_duplex_8 PUNC n16_a_duplex_1->n16_a_duplex_8 n16_a_duplex_10 PP-NIM n16_a_duplex_1->n16_a_duplex_10 n16_a_duplex_56 PUNC n16_a_duplex_1->n16_a_duplex_56 n16_a_duplex_58 NP-SBJ n16_a_duplex_1->n16_a_duplex_58 n16_a_duplex_61 VBD;_Tn_ n16_a_duplex_1->n16_a_duplex_61 n16_a_duplex_63 NP-OB1 n16_a_duplex_1->n16_a_duplex_63 n16_a_duplex_66 PP-NIM n16_a_duplex_1->n16_a_duplex_66 n16_a_duplex_75 PP-NIM n16_a_duplex_1->n16_a_duplex_75 n16_a_duplex_85 PUNC n16_a_duplex_1->n16_a_duplex_85 n16_a_duplex_3 P-ROLE n16_a_duplex_2->n16_a_duplex_3 n16_a_duplex_5 NP n16_a_duplex_2->n16_a_duplex_5 n16_a_duplex_3->n16_a_duplex_4 n16_a_duplex_6 NPR n16_a_duplex_5->n16_a_duplex_6 n16_a_duplex_6->n16_a_duplex_7 n16_a_duplex_8->n16_a_duplex_9 n16_a_duplex_11 P-ROLE n16_a_duplex_10->n16_a_duplex_11 n16_a_duplex_13 NP n16_a_duplex_10->n16_a_duplex_13 n16_a_duplex_11->n16_a_duplex_12 n16_a_duplex_14 D n16_a_duplex_13->n16_a_duplex_14 n16_a_duplex_16 ADJP n16_a_duplex_13->n16_a_duplex_16 n16_a_duplex_19 N n16_a_duplex_13->n16_a_duplex_19 n16_a_duplex_21 PP n16_a_duplex_13->n16_a_duplex_21 n16_a_duplex_14->n16_a_duplex_15 n16_a_duplex_17 ADJ n16_a_duplex_16->n16_a_duplex_17 n16_a_duplex_17->n16_a_duplex_18 n16_a_duplex_19->n16_a_duplex_20 n16_a_duplex_22 P-ROLE n16_a_duplex_21->n16_a_duplex_22 n16_a_duplex_24 NP n16_a_duplex_21->n16_a_duplex_24 n16_a_duplex_22->n16_a_duplex_23 n16_a_duplex_25 NPR n16_a_duplex_24->n16_a_duplex_25 n16_a_duplex_27 NPR n16_a_duplex_24->n16_a_duplex_27 n16_a_duplex_29 PUNC n16_a_duplex_24->n16_a_duplex_29 n16_a_duplex_31 IP-PPL n16_a_duplex_24->n16_a_duplex_31 n16_a_duplex_25->n16_a_duplex_26 n16_a_duplex_27->n16_a_duplex_28 n16_a_duplex_29->n16_a_duplex_30 n16_a_duplex_32 NP-PRD n16_a_duplex_31->n16_a_duplex_32 n16_a_duplex_33 D n16_a_duplex_32->n16_a_duplex_33 n16_a_duplex_35 NPR n16_a_duplex_32->n16_a_duplex_35 n16_a_duplex_37 NPR n16_a_duplex_32->n16_a_duplex_37 n16_a_duplex_39 N n16_a_duplex_32->n16_a_duplex_39 n16_a_duplex_41 IP-REL n16_a_duplex_32->n16_a_duplex_41 n16_a_duplex_33->n16_a_duplex_34 n16_a_duplex_35->n16_a_duplex_36 n16_a_duplex_37->n16_a_duplex_38 n16_a_duplex_39->n16_a_duplex_40 n16_a_duplex_42 C n16_a_duplex_41->n16_a_duplex_42 n16_a_duplex_44 NP-SBJ n16_a_duplex_41->n16_a_duplex_44 n16_a_duplex_46 VBP;_Tn_ n16_a_duplex_41->n16_a_duplex_46 n16_a_duplex_48 NP-OB1 n16_a_duplex_41->n16_a_duplex_48 n16_a_duplex_42->n16_a_duplex_43 n16_a_duplex_44->n16_a_duplex_45 n16_a_duplex_46->n16_a_duplex_47 n16_a_duplex_49 NP-GEN n16_a_duplex_48->n16_a_duplex_49 n16_a_duplex_54 N n16_a_duplex_48->n16_a_duplex_54 n16_a_duplex_50 NPR n16_a_duplex_49->n16_a_duplex_50 n16_a_duplex_52 GENM n16_a_duplex_49->n16_a_duplex_52 n16_a_duplex_50->n16_a_duplex_51 n16_a_duplex_52->n16_a_duplex_53 n16_a_duplex_54->n16_a_duplex_55 n16_a_duplex_56->n16_a_duplex_57 n16_a_duplex_59 PRO n16_a_duplex_58->n16_a_duplex_59 n16_a_duplex_59->n16_a_duplex_60 n16_a_duplex_61->n16_a_duplex_62 n16_a_duplex_64 NPR n16_a_duplex_63->n16_a_duplex_64 n16_a_duplex_64->n16_a_duplex_65 n16_a_duplex_67 P-ROLE n16_a_duplex_66->n16_a_duplex_67 n16_a_duplex_69 NP n16_a_duplex_66->n16_a_duplex_69 n16_a_duplex_67->n16_a_duplex_68 n16_a_duplex_70 ADJP n16_a_duplex_69->n16_a_duplex_70 n16_a_duplex_73 N n16_a_duplex_69->n16_a_duplex_73 n16_a_duplex_71 ADJ n16_a_duplex_70->n16_a_duplex_71 n16_a_duplex_71->n16_a_duplex_72 n16_a_duplex_73->n16_a_duplex_74 n16_a_duplex_76 P-ROLE n16_a_duplex_75->n16_a_duplex_76 n16_a_duplex_78 NP n16_a_duplex_75->n16_a_duplex_78 n16_a_duplex_76->n16_a_duplex_77 n16_a_duplex_79 D n16_a_duplex_78->n16_a_duplex_79 n16_a_duplex_81 NUM n16_a_duplex_78->n16_a_duplex_81 n16_a_duplex_83 N n16_a_duplex_78->n16_a_duplex_83 n16_a_duplex_79->n16_a_duplex_80 n16_a_duplex_81->n16_a_duplex_82 n16_a_duplex_83->n16_a_duplex_84 n16_a_duplex_85->n16_a_duplex_86
( (IP-MAT (PP-NIM (P-ROLE On;{on})
                  (NP (NPR Tuesday;{Tuesday})))
          (PUNC ,)
          (PP-NIM (P-ROLE at;{at})
                  (NP;{RESTAURANT} (D a;{a})
                                   (ADJP (ADJ hummus;{hummus}))
                                   (N restaurant;{restaurant})
                                   (PP (P-ROLE in;{in})
                                       (NP (NPR Mountain;{Mountain})
                                           (NPR View;{View})
                                           (PUNC ,)
                                           (IP-PPL (NP-PRD (D the;{the})
                                                           (NPR Silicon;{Silicon})
                                                           (NPR Valley;{Valley})
                                                           (N town;{town})
                                                           (IP-REL (C that;{that})
                                                                   (NP-SBJ *T*)
                                                                   (VBP;_Tn_ surrounds;{surround})
                                                                   (NP-OB1 (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                                                            (GENM <apos>s))
                                                                           (N campus;{campus})))))))))
          (PUNC ,)
          (NP-SBJ;{DAVE} (PRO I;{I}))
          (VBD;_Tn_ heard;{hear})
          (NP-OB1;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (ADJP (ADJ live;{live}))
                      (N action;{action})))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D the;{the})
                      (NUM first;{first})
                      (N time;{time})))
          (PUNC .))
  (ID 16_a_duplex))