Context                Previous, Next                Top


8_a_duplex
At that event, we heard the robot voice book a table at a restaurant by calling it up, speaking to a human member of staff, and confirming the details.

%3 r_0008_0006__heard heard r_0008_0002__that_r_0008_0003__event that event r_0008_0006__heard->r_0008_0002__that_r_0008_0003__event At [nim] r_0008_0005__we we r_0008_0006__heard->r_0008_0005__we [arg0] r_0008_0016__by by r_0008_0006__heard->r_0008_0016__by [arg1] r_0008_0010__book book r_0008_0016__by->r_0008_0010__book [scope] r_0008_0029__and and r_0008_0016__by->r_0008_0029__and [restriction] r_0008_0007__the_r_0008_0009__voice the voice r_0008_0008__robot robot r_0008_0007__the_r_0008_0009__voice->r_0008_0008__robot [attrib] r_0008_0010__book->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0011__a_r_0008_0012__table a table r_0008_0010__book->r_0008_0011__a_r_0008_0012__table [arg1] r_0008_0014__a_r_0008_0015__restaurant a restaurant r_0008_0011__a_r_0008_0012__table->r_0008_0014__a_r_0008_0015__restaurant at r_0008_0017__calling_r_0008_0019__up calling up r_0008_0029__and->r_0008_0017__calling_r_0008_0019__up [conj1] r_0008_0021__speaking speaking r_0008_0029__and->r_0008_0021__speaking [conj2] r_0008_0030__confirming confirming r_0008_0029__and->r_0008_0030__confirming [conj3] r_0008_0017__calling_r_0008_0019__up->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0017__calling_r_0008_0019__up->r_0008_0014__a_r_0008_0015__restaurant [arg1] r_0008_0021__speaking->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0023__a_r_0008_0025__member a member r_0008_0021__speaking->r_0008_0023__a_r_0008_0025__member to [clr] r_0008_0024__human human r_0008_0023__a_r_0008_0025__member->r_0008_0024__human [attrib] r_0008_0027__staff staff r_0008_0023__a_r_0008_0025__member->r_0008_0027__staff of r_0008_0030__confirming->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0031__the_r_0008_0032__details the details r_0008_0030__confirming->r_0008_0031__the_r_0008_0032__details [arg1] 
arc(r_0008_0006__heard, r_0008_0002__that_r_0008_0003__event, r_0008_0001__At_nim5).
arc(r_0008_0006__heard, r_0008_0005__we, arg0).
arc(r_0008_0006__heard, r_0008_0016__by, arg1).
arc(r_0008_0007__the_r_0008_0009__voice, r_0008_0008__robot, attrib20).
arc(r_0008_0010__book, r_0008_0007__the_r_0008_0009__voice, arg0).
arc(r_0008_0010__book, r_0008_0011__a_r_0008_0012__table, arg1).
arc(r_0008_0011__a_r_0008_0012__table, r_0008_0014__a_r_0008_0015__restaurant, r_0008_0013__at).
arc(r_0008_0016__by, r_0008_0010__book, scope).
arc(r_0008_0016__by, r_0008_0029__and, restriction).
arc(r_0008_0017__calling_r_0008_0019__up, r_0008_0007__the_r_0008_0009__voice, arg0).
arc(r_0008_0017__calling_r_0008_0019__up, r_0008_0014__a_r_0008_0015__restaurant, arg1).
arc(r_0008_0021__speaking, r_0008_0007__the_r_0008_0009__voice, arg0).
arc(r_0008_0021__speaking, r_0008_0023__a_r_0008_0025__member, r_0008_0022__to_clr63).
arc(r_0008_0023__a_r_0008_0025__member, r_0008_0024__human, attrib66).
arc(r_0008_0023__a_r_0008_0025__member, r_0008_0027__staff, r_0008_0026__of).
arc(r_0008_0029__and, r_0008_0017__calling_r_0008_0019__up, conj1).
arc(r_0008_0029__and, r_0008_0021__speaking, conj2).
arc(r_0008_0029__and, r_0008_0030__confirming, conj3).
arc(r_0008_0030__confirming, r_0008_0007__the_r_0008_0009__voice, arg0).
arc(r_0008_0030__confirming, r_0008_0031__the_r_0008_0032__details, arg1).


%3 r_0008_0006__heard heard r_0008_0002__that_r_0008_0003__event that event r_0008_0006__heard->r_0008_0002__that_r_0008_0003__event At [nim] r_0008_0005__we we r_0008_0006__heard->r_0008_0005__we [arg0] r_0008_0016__by by r_0008_0006__heard->r_0008_0016__by [arg1] r_0008_0010__book book r_0008_0016__by->r_0008_0010__book [conj2] r_0008_0029__and and r_0008_0016__by->r_0008_0029__and [conj1] r_0008_0007__the_r_0008_0009__voice the voice r_0008_0008__robot robot r_0008_0007__the_r_0008_0009__voice->r_0008_0008__robot [attrib] r_0008_0010__book->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0011__a_r_0008_0012__table a table r_0008_0010__book->r_0008_0011__a_r_0008_0012__table [arg1] r_0008_0014__a_r_0008_0015__restaurant a restaurant r_0008_0011__a_r_0008_0012__table->r_0008_0014__a_r_0008_0015__restaurant at r_0008_0017__calling_r_0008_0019__up calling up r_0008_0029__and->r_0008_0017__calling_r_0008_0019__up [conj1] r_0008_0021__speaking speaking r_0008_0029__and->r_0008_0021__speaking [conj2] r_0008_0030__confirming confirming r_0008_0029__and->r_0008_0030__confirming [conj3] r_0008_0017__calling_r_0008_0019__up->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0017__calling_r_0008_0019__up->r_0008_0014__a_r_0008_0015__restaurant [arg1] r_0008_0021__speaking->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0023__a_r_0008_0025__member a member r_0008_0021__speaking->r_0008_0023__a_r_0008_0025__member to [clr] r_0008_0024__human human r_0008_0023__a_r_0008_0025__member->r_0008_0024__human [attrib] r_0008_0027__staff staff r_0008_0023__a_r_0008_0025__member->r_0008_0027__staff of r_0008_0030__confirming->r_0008_0007__the_r_0008_0009__voice [arg0] r_0008_0031__the_r_0008_0032__details the details r_0008_0030__confirming->r_0008_0031__the_r_0008_0032__details [arg1] 
fof(formula,axiom,
    ? [R_8_6_HEARD,R_8_5_WE,R_8_16_BY,R_8_29_AND,R_8_17_CALLING_UP,R_8_21_SPEAKING,R_8_23_A_MEMBER,R_8_24_HUMAN,R_8_27_STAFF,R_8_30_CONFIRMING,R_8_31_THE_DETAILS,R_8_10_BOOK,R_8_7_THE_VOICE,R_8_8_ROBOT,R_8_11_A_TABLE,R_8_14_A_RESTAURANT,R_8_2_THAT_EVENT] :
      ( we(R_8_5_WE)
      & human(R_8_24_HUMAN)
      & staff(R_8_27_STAFF)
      & the_details(R_8_31_THE_DETAILS)
      & robot(R_8_8_ROBOT)
      & a_restaurant(R_8_14_A_RESTAURANT)
      & that_event(R_8_2_THAT_EVENT)
      & heard(R_8_6_HEARD,R_8_5_WE,R_8_16_BY)
      & by(R_8_16_BY)
      & conj1(R_8_16_BY,R_8_29_AND)
      & and(R_8_29_AND)
      & conj1(R_8_29_AND,R_8_17_CALLING_UP)
      & calling_up(R_8_17_CALLING_UP,R_8_7_THE_VOICE,R_8_14_A_RESTAURANT)
      & the_voice(R_8_7_THE_VOICE)
      & attrib20(R_8_7_THE_VOICE,R_8_8_ROBOT)
      & conj2(R_8_29_AND,R_8_21_SPEAKING)
      & speaking(R_8_21_SPEAKING,R_8_7_THE_VOICE)
      & to_clr63(R_8_21_SPEAKING,R_8_23_A_MEMBER)
      & a_member(R_8_23_A_MEMBER)
      & attrib66(R_8_23_A_MEMBER,R_8_24_HUMAN)
      & of(R_8_23_A_MEMBER,R_8_27_STAFF)
      & conj3(R_8_29_AND,R_8_30_CONFIRMING)
      & confirming(R_8_30_CONFIRMING,R_8_7_THE_VOICE,R_8_31_THE_DETAILS)
      & conj2(R_8_16_BY,R_8_10_BOOK)
      & book(R_8_10_BOOK,R_8_7_THE_VOICE,R_8_11_A_TABLE)
      & a_table(R_8_11_A_TABLE)
      & at(R_8_11_A_TABLE,R_8_14_A_RESTAURANT)
      & at_nim5(R_8_6_HEARD,R_8_2_THAT_EVENT) ) ).


n8_a_duplex n8_a_duplex_4 At n8_a_duplex_7 that n8_a_duplex_9 event n8_a_duplex_11 , n8_a_duplex_14 we n8_a_duplex_16 heard n8_a_duplex_19 the n8_a_duplex_22 robot n8_a_duplex_24 voice n8_a_duplex_27 book n8_a_duplex_30 a n8_a_duplex_32 table n8_a_duplex_35 at n8_a_duplex_38 a n8_a_duplex_40 restaurant n8_a_duplex_43 by n8_a_duplex_48 calling n8_a_duplex_51 it n8_a_duplex_53 up n8_a_duplex_55 , n8_a_duplex_59 speaking n8_a_duplex_62 to n8_a_duplex_65 a n8_a_duplex_68 human n8_a_duplex_70 member n8_a_duplex_73 of n8_a_duplex_76 staff n8_a_duplex_78 , n8_a_duplex_81 and n8_a_duplex_84 confirming n8_a_duplex_87 the n8_a_duplex_89 details n8_a_duplex_91 . n8_a_duplex_1 IP-MAT n8_a_duplex_2 PP-NIM n8_a_duplex_1->n8_a_duplex_2 n8_a_duplex_10 PUNC n8_a_duplex_1->n8_a_duplex_10 n8_a_duplex_12 NP-SBJ n8_a_duplex_1->n8_a_duplex_12 n8_a_duplex_15 VBD;_Tni_ n8_a_duplex_1->n8_a_duplex_15 n8_a_duplex_17 NP-DOB1 n8_a_duplex_1->n8_a_duplex_17 n8_a_duplex_25 IP-INF-OB1 n8_a_duplex_1->n8_a_duplex_25 n8_a_duplex_90 PUNC n8_a_duplex_1->n8_a_duplex_90 n8_a_duplex_3 P-ROLE n8_a_duplex_2->n8_a_duplex_3 n8_a_duplex_5 NP n8_a_duplex_2->n8_a_duplex_5 n8_a_duplex_3->n8_a_duplex_4 n8_a_duplex_6 D n8_a_duplex_5->n8_a_duplex_6 n8_a_duplex_8 N n8_a_duplex_5->n8_a_duplex_8 n8_a_duplex_6->n8_a_duplex_7 n8_a_duplex_8->n8_a_duplex_9 n8_a_duplex_10->n8_a_duplex_11 n8_a_duplex_13 PRO n8_a_duplex_12->n8_a_duplex_13 n8_a_duplex_13->n8_a_duplex_14 n8_a_duplex_15->n8_a_duplex_16 n8_a_duplex_18 D n8_a_duplex_17->n8_a_duplex_18 n8_a_duplex_20 ADJP n8_a_duplex_17->n8_a_duplex_20 n8_a_duplex_23 N n8_a_duplex_17->n8_a_duplex_23 n8_a_duplex_18->n8_a_duplex_19 n8_a_duplex_21 ADJ n8_a_duplex_20->n8_a_duplex_21 n8_a_duplex_21->n8_a_duplex_22 n8_a_duplex_23->n8_a_duplex_24 n8_a_duplex_26 VB;_Tn_ n8_a_duplex_25->n8_a_duplex_26 n8_a_duplex_28 NP-OB1 n8_a_duplex_25->n8_a_duplex_28 n8_a_duplex_41 PP-SCON n8_a_duplex_25->n8_a_duplex_41 n8_a_duplex_26->n8_a_duplex_27 n8_a_duplex_29 D n8_a_duplex_28->n8_a_duplex_29 n8_a_duplex_31 N n8_a_duplex_28->n8_a_duplex_31 n8_a_duplex_33 PP n8_a_duplex_28->n8_a_duplex_33 n8_a_duplex_29->n8_a_duplex_30 n8_a_duplex_31->n8_a_duplex_32 n8_a_duplex_34 P-ROLE n8_a_duplex_33->n8_a_duplex_34 n8_a_duplex_36 NP n8_a_duplex_33->n8_a_duplex_36 n8_a_duplex_34->n8_a_duplex_35 n8_a_duplex_37 D n8_a_duplex_36->n8_a_duplex_37 n8_a_duplex_39 N n8_a_duplex_36->n8_a_duplex_39 n8_a_duplex_37->n8_a_duplex_38 n8_a_duplex_39->n8_a_duplex_40 n8_a_duplex_42 P-CONN n8_a_duplex_41->n8_a_duplex_42 n8_a_duplex_44 IP-PPL2 n8_a_duplex_41->n8_a_duplex_44 n8_a_duplex_42->n8_a_duplex_43 n8_a_duplex_45 ILYR n8_a_duplex_44->n8_a_duplex_45 n8_a_duplex_46 ILYR n8_a_duplex_45->n8_a_duplex_46 n8_a_duplex_54 PUNC n8_a_duplex_45->n8_a_duplex_54 n8_a_duplex_56 CONJP n8_a_duplex_45->n8_a_duplex_56 n8_a_duplex_77 PUNC n8_a_duplex_45->n8_a_duplex_77 n8_a_duplex_79 CONJP n8_a_duplex_45->n8_a_duplex_79 n8_a_duplex_47 VAG;_Tn.p_ n8_a_duplex_46->n8_a_duplex_47 n8_a_duplex_49 NP-OB1 n8_a_duplex_46->n8_a_duplex_49 n8_a_duplex_52 RP n8_a_duplex_46->n8_a_duplex_52 n8_a_duplex_47->n8_a_duplex_48 n8_a_duplex_50 PRO n8_a_duplex_49->n8_a_duplex_50 n8_a_duplex_50->n8_a_duplex_51 n8_a_duplex_52->n8_a_duplex_53 n8_a_duplex_54->n8_a_duplex_55 n8_a_duplex_57 ILYR n8_a_duplex_56->n8_a_duplex_57 n8_a_duplex_58 VAG;_Ipr_ n8_a_duplex_57->n8_a_duplex_58 n8_a_duplex_60 PP-CLR n8_a_duplex_57->n8_a_duplex_60 n8_a_duplex_58->n8_a_duplex_59 n8_a_duplex_61 P-ROLE n8_a_duplex_60->n8_a_duplex_61 n8_a_duplex_63 NP n8_a_duplex_60->n8_a_duplex_63 n8_a_duplex_61->n8_a_duplex_62 n8_a_duplex_64 D n8_a_duplex_63->n8_a_duplex_64 n8_a_duplex_66 ADJP n8_a_duplex_63->n8_a_duplex_66 n8_a_duplex_69 N n8_a_duplex_63->n8_a_duplex_69 n8_a_duplex_71 PP n8_a_duplex_63->n8_a_duplex_71 n8_a_duplex_64->n8_a_duplex_65 n8_a_duplex_67 ADJ n8_a_duplex_66->n8_a_duplex_67 n8_a_duplex_67->n8_a_duplex_68 n8_a_duplex_69->n8_a_duplex_70 n8_a_duplex_72 P-ROLE n8_a_duplex_71->n8_a_duplex_72 n8_a_duplex_74 NP n8_a_duplex_71->n8_a_duplex_74 n8_a_duplex_72->n8_a_duplex_73 n8_a_duplex_75 N n8_a_duplex_74->n8_a_duplex_75 n8_a_duplex_75->n8_a_duplex_76 n8_a_duplex_77->n8_a_duplex_78 n8_a_duplex_80 CONJ n8_a_duplex_79->n8_a_duplex_80 n8_a_duplex_82 ILYR n8_a_duplex_79->n8_a_duplex_82 n8_a_duplex_80->n8_a_duplex_81 n8_a_duplex_83 VAG;_Tn_ n8_a_duplex_82->n8_a_duplex_83 n8_a_duplex_85 NP-OB1 n8_a_duplex_82->n8_a_duplex_85 n8_a_duplex_83->n8_a_duplex_84 n8_a_duplex_86 D n8_a_duplex_85->n8_a_duplex_86 n8_a_duplex_88 NS n8_a_duplex_85->n8_a_duplex_88 n8_a_duplex_86->n8_a_duplex_87 n8_a_duplex_88->n8_a_duplex_89 n8_a_duplex_90->n8_a_duplex_91 
( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP;{CONFERENCE} (D that;{that})
                                   (N event;{event})))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (VBD;_Tni_ heard;{hear})
          (NP-DOB1;{ROBOT_VOICE} (D the;{the})
                                 (ADJP (ADJ robot;{robot}))
                                 (N voice;{voice}))
          (IP-INF-OB1 (VB;_Tn_ book;{book})
                      (NP-OB1 (D a;{a})
                              (N table;{table})
                              (PP (P-ROLE at;{at})
                                  (NP;{RESTAURANT} (D a;{a})
                                                   (N restaurant;{restaurant}))))
                      (PP-SCON (P-CONN by;{by})
                               (IP-PPL2 (ILYR (ILYR (VAG;_Tn.p_ calling;{call})
                                                    (NP-OB1;{RESTAURANT} (PRO it;{it}))
                                                    (RP up;{up}))
                                              (PUNC ,)
                                              (CONJP (ILYR (VAG;_Ipr_ speaking;{speak[to]})
                                                           (PP-CLR (P-ROLE to;{to})
                                                                   (NP (D a;{a})
                                                                       (ADJP (ADJ human;{human}))
                                                                       (N member;{member})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (N staff;{staff})))))))
                                              (PUNC ,)
                                              (CONJP (CONJ and;{and})
                                                     (ILYR (VAG;_Tn_ confirming;{confirm})
                                                           (NP-OB1 (D the;{the})
                                                                   (NS details;{detail}))))))))
          (PUNC .))
  (ID 8_a_duplex))