Context                Previous, Next                Top


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.

n16_a_duplex n16_a_duplex__1_1_1_1 On n16_a_duplex__1_1_2_1_1 Tuesday n16_a_duplex__1_2_1 , n16_a_duplex__1_3_1_1 at n16_a_duplex__1_3_2_1_1 a n16_a_duplex__1_3_2_2_1_1 hummus n16_a_duplex__1_3_2_3_1 restaurant n16_a_duplex__1_3_2_4_1_1 in n16_a_duplex__1_3_2_4_2_1_1 Mountain n16_a_duplex__1_3_2_4_2_2_1 View n16_a_duplex__1_3_2_4_2_3_1 , n16_a_duplex__1_3_2_4_2_4_1_1_1 the n16_a_duplex__1_3_2_4_2_4_1_2_1 Silicon n16_a_duplex__1_3_2_4_2_4_1_3_1 Valley n16_a_duplex__1_3_2_4_2_4_1_4_1 town n16_a_duplex__1_3_2_4_2_4_1_5_1_1 that n16_a_duplex__1_3_2_4_2_4_1_5_2_1 *T* n16_a_duplex__1_3_2_4_2_4_1_5_3_1 surrounds n16_a_duplex__1_3_2_4_2_4_1_5_4_1_1_1 Google n16_a_duplex__1_3_2_4_2_4_1_5_4_1_2_1 's n16_a_duplex__1_3_2_4_2_4_1_5_4_2_1 campus n16_a_duplex__1_4_1 , n16_a_duplex__1_5_1_1 I n16_a_duplex__1_6_1 heard n16_a_duplex__1_7_1_1 Duplex n16_a_duplex__1_8_1_1 in n16_a_duplex__1_8_2_1_1_1 live n16_a_duplex__1_8_2_2_1 action n16_a_duplex__1_9_1_1 for n16_a_duplex__1_9_2_1_1 the n16_a_duplex__1_9_2_2_1 first n16_a_duplex__1_9_2_3_1 time n16_a_duplex__1_10_1 . n16_a_duplex__1 IP-MAT n16_a_duplex__1_1 PP-NIM n16_a_duplex__1->n16_a_duplex__1_1 n16_a_duplex__1_2 PUNC n16_a_duplex__1->n16_a_duplex__1_2 n16_a_duplex__1_3 PP-NIM n16_a_duplex__1->n16_a_duplex__1_3 n16_a_duplex__1_4 PUNC n16_a_duplex__1->n16_a_duplex__1_4 n16_a_duplex__1_5 NP-SBJ n16_a_duplex__1->n16_a_duplex__1_5 n16_a_duplex__1_6 VBD;_Tn_ n16_a_duplex__1->n16_a_duplex__1_6 n16_a_duplex__1_7 NP-OB1 n16_a_duplex__1->n16_a_duplex__1_7 n16_a_duplex__1_8 PP-NIM n16_a_duplex__1->n16_a_duplex__1_8 n16_a_duplex__1_9 PP-NIM n16_a_duplex__1->n16_a_duplex__1_9 n16_a_duplex__1_10 PUNC n16_a_duplex__1->n16_a_duplex__1_10 n16_a_duplex__1_1_1 P-ROLE n16_a_duplex__1_1->n16_a_duplex__1_1_1 n16_a_duplex__1_1_2 NP n16_a_duplex__1_1->n16_a_duplex__1_1_2 n16_a_duplex__1_1_1->n16_a_duplex__1_1_1_1 n16_a_duplex__1_1_2_1 NPR n16_a_duplex__1_1_2->n16_a_duplex__1_1_2_1 n16_a_duplex__1_1_2_1->n16_a_duplex__1_1_2_1_1 n16_a_duplex__1_2->n16_a_duplex__1_2_1 n16_a_duplex__1_3_1 P-ROLE n16_a_duplex__1_3->n16_a_duplex__1_3_1 n16_a_duplex__1_3_2 NP n16_a_duplex__1_3->n16_a_duplex__1_3_2 n16_a_duplex__1_3_1->n16_a_duplex__1_3_1_1 n16_a_duplex__1_3_2_1 D n16_a_duplex__1_3_2->n16_a_duplex__1_3_2_1 n16_a_duplex__1_3_2_2 ADJP n16_a_duplex__1_3_2->n16_a_duplex__1_3_2_2 n16_a_duplex__1_3_2_3 N n16_a_duplex__1_3_2->n16_a_duplex__1_3_2_3 n16_a_duplex__1_3_2_4 PP n16_a_duplex__1_3_2->n16_a_duplex__1_3_2_4 n16_a_duplex__1_3_2_1->n16_a_duplex__1_3_2_1_1 n16_a_duplex__1_3_2_2_1 ADJ n16_a_duplex__1_3_2_2->n16_a_duplex__1_3_2_2_1 n16_a_duplex__1_3_2_2_1->n16_a_duplex__1_3_2_2_1_1 n16_a_duplex__1_3_2_3->n16_a_duplex__1_3_2_3_1 n16_a_duplex__1_3_2_4_1 P-ROLE n16_a_duplex__1_3_2_4->n16_a_duplex__1_3_2_4_1 n16_a_duplex__1_3_2_4_2 NP n16_a_duplex__1_3_2_4->n16_a_duplex__1_3_2_4_2 n16_a_duplex__1_3_2_4_1->n16_a_duplex__1_3_2_4_1_1 n16_a_duplex__1_3_2_4_2_1 NPR n16_a_duplex__1_3_2_4_2->n16_a_duplex__1_3_2_4_2_1 n16_a_duplex__1_3_2_4_2_2 NPR n16_a_duplex__1_3_2_4_2->n16_a_duplex__1_3_2_4_2_2 n16_a_duplex__1_3_2_4_2_3 PUNC n16_a_duplex__1_3_2_4_2->n16_a_duplex__1_3_2_4_2_3 n16_a_duplex__1_3_2_4_2_4 PRN n16_a_duplex__1_3_2_4_2->n16_a_duplex__1_3_2_4_2_4 n16_a_duplex__1_3_2_4_2_1->n16_a_duplex__1_3_2_4_2_1_1 n16_a_duplex__1_3_2_4_2_2->n16_a_duplex__1_3_2_4_2_2_1 n16_a_duplex__1_3_2_4_2_3->n16_a_duplex__1_3_2_4_2_3_1 n16_a_duplex__1_3_2_4_2_4_1 NP n16_a_duplex__1_3_2_4_2_4->n16_a_duplex__1_3_2_4_2_4_1 n16_a_duplex__1_3_2_4_2_4_1_1 D n16_a_duplex__1_3_2_4_2_4_1->n16_a_duplex__1_3_2_4_2_4_1_1 n16_a_duplex__1_3_2_4_2_4_1_2 NPR n16_a_duplex__1_3_2_4_2_4_1->n16_a_duplex__1_3_2_4_2_4_1_2 n16_a_duplex__1_3_2_4_2_4_1_3 NPR n16_a_duplex__1_3_2_4_2_4_1->n16_a_duplex__1_3_2_4_2_4_1_3 n16_a_duplex__1_3_2_4_2_4_1_4 N n16_a_duplex__1_3_2_4_2_4_1->n16_a_duplex__1_3_2_4_2_4_1_4 n16_a_duplex__1_3_2_4_2_4_1_5 IP-REL n16_a_duplex__1_3_2_4_2_4_1->n16_a_duplex__1_3_2_4_2_4_1_5 n16_a_duplex__1_3_2_4_2_4_1_1->n16_a_duplex__1_3_2_4_2_4_1_1_1 n16_a_duplex__1_3_2_4_2_4_1_2->n16_a_duplex__1_3_2_4_2_4_1_2_1 n16_a_duplex__1_3_2_4_2_4_1_3->n16_a_duplex__1_3_2_4_2_4_1_3_1 n16_a_duplex__1_3_2_4_2_4_1_4->n16_a_duplex__1_3_2_4_2_4_1_4_1 n16_a_duplex__1_3_2_4_2_4_1_5_1 C n16_a_duplex__1_3_2_4_2_4_1_5->n16_a_duplex__1_3_2_4_2_4_1_5_1 n16_a_duplex__1_3_2_4_2_4_1_5_2 NP-SBJ n16_a_duplex__1_3_2_4_2_4_1_5->n16_a_duplex__1_3_2_4_2_4_1_5_2 n16_a_duplex__1_3_2_4_2_4_1_5_3 VBP;_Tn_ n16_a_duplex__1_3_2_4_2_4_1_5->n16_a_duplex__1_3_2_4_2_4_1_5_3 n16_a_duplex__1_3_2_4_2_4_1_5_4 NP-OB1 n16_a_duplex__1_3_2_4_2_4_1_5->n16_a_duplex__1_3_2_4_2_4_1_5_4 n16_a_duplex__1_3_2_4_2_4_1_5_1->n16_a_duplex__1_3_2_4_2_4_1_5_1_1 n16_a_duplex__1_3_2_4_2_4_1_5_2->n16_a_duplex__1_3_2_4_2_4_1_5_2_1 n16_a_duplex__1_3_2_4_2_4_1_5_3->n16_a_duplex__1_3_2_4_2_4_1_5_3_1 n16_a_duplex__1_3_2_4_2_4_1_5_4_1 NP-GEN n16_a_duplex__1_3_2_4_2_4_1_5_4->n16_a_duplex__1_3_2_4_2_4_1_5_4_1 n16_a_duplex__1_3_2_4_2_4_1_5_4_2 N n16_a_duplex__1_3_2_4_2_4_1_5_4->n16_a_duplex__1_3_2_4_2_4_1_5_4_2 n16_a_duplex__1_3_2_4_2_4_1_5_4_1_1 NPR n16_a_duplex__1_3_2_4_2_4_1_5_4_1->n16_a_duplex__1_3_2_4_2_4_1_5_4_1_1 n16_a_duplex__1_3_2_4_2_4_1_5_4_1_2 GENM n16_a_duplex__1_3_2_4_2_4_1_5_4_1->n16_a_duplex__1_3_2_4_2_4_1_5_4_1_2 n16_a_duplex__1_3_2_4_2_4_1_5_4_1_1->n16_a_duplex__1_3_2_4_2_4_1_5_4_1_1_1 n16_a_duplex__1_3_2_4_2_4_1_5_4_1_2->n16_a_duplex__1_3_2_4_2_4_1_5_4_1_2_1 n16_a_duplex__1_3_2_4_2_4_1_5_4_2->n16_a_duplex__1_3_2_4_2_4_1_5_4_2_1 n16_a_duplex__1_4->n16_a_duplex__1_4_1 n16_a_duplex__1_5_1 PRO n16_a_duplex__1_5->n16_a_duplex__1_5_1 n16_a_duplex__1_5_1->n16_a_duplex__1_5_1_1 n16_a_duplex__1_6->n16_a_duplex__1_6_1 n16_a_duplex__1_7_1 NPR n16_a_duplex__1_7->n16_a_duplex__1_7_1 n16_a_duplex__1_7_1->n16_a_duplex__1_7_1_1 n16_a_duplex__1_8_1 P-ROLE n16_a_duplex__1_8->n16_a_duplex__1_8_1 n16_a_duplex__1_8_2 NP n16_a_duplex__1_8->n16_a_duplex__1_8_2 n16_a_duplex__1_8_1->n16_a_duplex__1_8_1_1 n16_a_duplex__1_8_2_1 ADJP n16_a_duplex__1_8_2->n16_a_duplex__1_8_2_1 n16_a_duplex__1_8_2_2 N n16_a_duplex__1_8_2->n16_a_duplex__1_8_2_2 n16_a_duplex__1_8_2_1_1 ADJ n16_a_duplex__1_8_2_1->n16_a_duplex__1_8_2_1_1 n16_a_duplex__1_8_2_1_1->n16_a_duplex__1_8_2_1_1_1 n16_a_duplex__1_8_2_2->n16_a_duplex__1_8_2_2_1 n16_a_duplex__1_9_1 P-ROLE n16_a_duplex__1_9->n16_a_duplex__1_9_1 n16_a_duplex__1_9_2 NP n16_a_duplex__1_9->n16_a_duplex__1_9_2 n16_a_duplex__1_9_1->n16_a_duplex__1_9_1_1 n16_a_duplex__1_9_2_1 D n16_a_duplex__1_9_2->n16_a_duplex__1_9_2_1 n16_a_duplex__1_9_2_2 NUM n16_a_duplex__1_9_2->n16_a_duplex__1_9_2_2 n16_a_duplex__1_9_2_3 N n16_a_duplex__1_9_2->n16_a_duplex__1_9_2_3 n16_a_duplex__1_9_2_1->n16_a_duplex__1_9_2_1_1 n16_a_duplex__1_9_2_2->n16_a_duplex__1_9_2_2_1 n16_a_duplex__1_9_2_3->n16_a_duplex__1_9_2_3_1 n16_a_duplex__1_10->n16_a_duplex__1_10_1 
( (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 ,)
                                           (PRN (NP (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))


%3 z_0016_5006 r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town the Silicon Valley town z_0016_5006->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [prd] r_0016_0009__Mountain_r_0016_0010__View Mountain View z_0016_5006->r_0016_0009__Mountain_r_0016_0010__View [arg0] r_0016_0027__action action r_0016_0026__live live r_0016_0027__action->r_0016_0026__live [attrib] r_0016_0023__heard heard 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_0024__Duplex Duplex r_0016_0023__heard->r_0016_0024__Duplex [arg1] r_0016_0022__I I r_0016_0023__heard->r_0016_0022__I [arg0] r_0016_0005__a_r_0016_0007__restaurant a restaurant 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_0005__a_r_0016_0007__restaurant->r_0016_0009__Mountain_r_0016_0010__View in r_0016_0006__hummus hummus r_0016_0005__a_r_0016_0007__restaurant->r_0016_0006__hummus [attrib] r_0016_0020__campus campus r_0016_0018__Google Google r_0016_0020__campus->r_0016_0018__Google [gen] r_0016_0017__surrounds surrounds r_0016_0017__surrounds->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [inv_arg0] r_0016_0017__surrounds->r_0016_0020__campus [arg1] 
arc(r_0016_0005__a_r_0016_0007__restaurant,r_0016_0006__hummus,attrib).
arc(r_0016_0005__a_r_0016_0007__restaurant,r_0016_0009__Mountain_r_0016_0010__View,r_0016_0008__in).
arc(r_0016_0017__surrounds,r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town,inv_arg0).
arc(r_0016_0017__surrounds,r_0016_0020__campus,arg1).
arc(r_0016_0020__campus,r_0016_0018__Google,gen).
arc(r_0016_0023__heard,r_0016_0002__Tuesday,r_0016_0001__On__nim).
arc(r_0016_0023__heard,r_0016_0005__a_r_0016_0007__restaurant,r_0016_0004__at__nim).
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__nim).
arc(r_0016_0023__heard,r_0016_0029__the_r_0016_0030__first_r_0016_0031__time,r_0016_0028__for__nim).
arc(r_0016_0027__action,r_0016_0026__live,attrib).
arc(z_0016_5006,r_0016_0009__Mountain_r_0016_0010__View,arg0).
arc(z_0016_5006,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_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town the Silicon Valley town r_0016_0017__surrounds surrounds r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town->r_0016_0017__surrounds [inv_arg0] r_0016_0020__campus campus r_0016_0017__surrounds->r_0016_0020__campus [arg1] r_0016_0018__Google Google r_0016_0020__campus->r_0016_0018__Google [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_0016_5006 z_0016_5006->r_0016_0009__Mountain_r_0016_0010__View [arg0] z_0016_5006->r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town [prd] 
fof(formula,axiom,
    ? [R_0016_0002__TUESDAY,R_0016_0006__HUMMUS,R_0016_0009__MOUNTAIN_R_0016_0010__VIEW,R_0016_0005__A_R_0016_0007__RESTAURANT,R_0016_0022__I,R_0016_0024__DUPLEX,R_0016_0026__LIVE,R_0016_0027__ACTION,R_0016_0029__THE_R_0016_0030__FIRST_R_0016_0031__TIME,R_0016_0023__HEARD,R_0016_0018__GOOGLE,R_0016_0020__CAMPUS,R_0016_0017__SURROUNDS,R_0016_0012__THE_R_0016_0013__SILICON_R_0016_0014__VALLEY_R_0016_0015__TOWN,Z_0016_5006] :
      ( r_0016_0002__Tuesday(R_0016_0002__TUESDAY)
      & r_0016_0006__hummus(R_0016_0006__HUMMUS)
      & r_0016_0009__Mountain_r_0016_0010__View(R_0016_0009__MOUNTAIN_R_0016_0010__VIEW)
      & r_0016_0018__Google(R_0016_0018__GOOGLE)
      & r_0016_0022__I(R_0016_0022__I)
      & r_0016_0024__Duplex(R_0016_0024__DUPLEX)
      & r_0016_0026__live(R_0016_0026__LIVE)
      & r_0016_0029__the_r_0016_0030__first_r_0016_0031__time(R_0016_0029__THE_R_0016_0030__FIRST_R_0016_0031__TIME)
      & z_0016_5006(Z_0016_5006)
      & has_prd(Z_0016_5006,R_0016_0012__THE_R_0016_0013__SILICON_R_0016_0014__VALLEY_R_0016_0015__TOWN)
      & r_0016_0012__the_r_0016_0013__Silicon_r_0016_0014__Valley_r_0016_0015__town(R_0016_0012__THE_R_0016_0013__SILICON_R_0016_0014__VALLEY_R_0016_0015__TOWN)
      & has_inv_arg0(R_0016_0012__THE_R_0016_0013__SILICON_R_0016_0014__VALLEY_R_0016_0015__TOWN,R_0016_0017__SURROUNDS)
      & r_0016_0017__surrounds(R_0016_0017__SURROUNDS)
      & has_arg1(R_0016_0017__SURROUNDS,R_0016_0020__CAMPUS)
      & r_0016_0020__campus(R_0016_0020__CAMPUS)
      & has_gen(R_0016_0020__CAMPUS,R_0016_0018__GOOGLE)
      & has_arg0(Z_0016_5006,R_0016_0009__MOUNTAIN_R_0016_0010__VIEW)
      & r_0016_0023__heard(R_0016_0023__HEARD)
      & has_r_0016_0028__for__nim(R_0016_0023__HEARD,R_0016_0029__THE_R_0016_0030__FIRST_R_0016_0031__TIME)
      & has_r_0016_0025__in__nim(R_0016_0023__HEARD,R_0016_0027__ACTION)
      & r_0016_0027__action(R_0016_0027__ACTION)
      & has_attrib(R_0016_0027__ACTION,R_0016_0026__LIVE)
      & has_arg1(R_0016_0023__HEARD,R_0016_0024__DUPLEX)
      & has_arg0(R_0016_0023__HEARD,R_0016_0022__I)
      & has_r_0016_0004__at__nim(R_0016_0023__HEARD,R_0016_0005__A_R_0016_0007__RESTAURANT)
      & r_0016_0005__a_r_0016_0007__restaurant(R_0016_0005__A_R_0016_0007__RESTAURANT)
      & has_r_0016_0008__in(R_0016_0005__A_R_0016_0007__RESTAURANT,R_0016_0009__MOUNTAIN_R_0016_0010__VIEW)
      & has_attrib(R_0016_0005__A_R_0016_0007__RESTAURANT,R_0016_0006__HUMMUS)
      & has_r_0016_0001__On__nim(R_0016_0023__HEARD,R_0016_0002__TUESDAY) ) ).