Context                Previous, Next                Top


17_a_duplex
Human helper Oren Dobronsky, the restaurant's owner, picks up the phone and we listen in.

%3 r_0017_0002__helper helper r_0017_0001__Human Human r_0017_0002__helper->r_0017_0001__Human [attrib] r_0017_0009__owner owner r_0017_0006__the_r_0017_0007__restaurant_r_0017_0008___apos_s the restaurant 's r_0017_0009__owner->r_0017_0006__the_r_0017_0007__restaurant_r_0017_0008___apos_s [gen] r_0017_0011__picks_r_0017_0012__up picks up r_0017_0011__picks_r_0017_0012__up->r_0017_0002__helper [arg0] r_0017_0013__the_r_0017_0014__phone the phone r_0017_0011__picks_r_0017_0012__up->r_0017_0013__the_r_0017_0014__phone [arg1] r_0017_0015__and and r_0017_0015__and->r_0017_0011__picks_r_0017_0012__up [conj1] r_0017_0017__listen_r_0017_0018__in listen in r_0017_0015__and->r_0017_0017__listen_r_0017_0018__in [conj2] r_0017_0016__we we r_0017_0017__listen_r_0017_0018__in->r_0017_0016__we [arg0] z_000_17_a_duplex_10 z_000_17_a_duplex_10->r_0017_0002__helper [arg0] r_0017_0003__Oren_r_0017_0004__Dobronsky Oren Dobronsky z_000_17_a_duplex_10->r_0017_0003__Oren_r_0017_0004__Dobronsky [prd] z_000_17_a_duplex_18 z_000_17_a_duplex_18->r_0017_0009__owner [prd] z_000_17_a_duplex_18->r_0017_0003__Oren_r_0017_0004__Dobronsky [arg0] 
arc(r_0017_0002__helper, r_0017_0001__Human, attrib5).
arc(r_0017_0009__owner, r_0017_0006__the_r_0017_0007__restaurant_r_0017_0008___apos_s, gen).
arc(r_0017_0011__picks_r_0017_0012__up, r_0017_0002__helper, arg0).
arc(r_0017_0011__picks_r_0017_0012__up, r_0017_0013__the_r_0017_0014__phone, arg1).
arc(r_0017_0015__and, r_0017_0011__picks_r_0017_0012__up, conj1).
arc(r_0017_0015__and, r_0017_0017__listen_r_0017_0018__in, conj2).
arc(r_0017_0017__listen_r_0017_0018__in, r_0017_0016__we, arg0).
arc(z_000_17_a_duplex_10, r_0017_0002__helper, arg0).
arc(z_000_17_a_duplex_10, r_0017_0003__Oren_r_0017_0004__Dobronsky, prd).
arc(z_000_17_a_duplex_18, r_0017_0003__Oren_r_0017_0004__Dobronsky, arg0).
arc(z_000_17_a_duplex_18, r_0017_0009__owner, prd).


%3 z_000_17_a_duplex_18 r_0017_0009__owner owner z_000_17_a_duplex_18->r_0017_0009__owner [prd] r_0017_0003__Oren_r_0017_0004__Dobronsky Oren Dobronsky z_000_17_a_duplex_18->r_0017_0003__Oren_r_0017_0004__Dobronsky [arg0] r_0017_0006__the_r_0017_0007__restaurant_r_0017_0008___apos_s the restaurant 's r_0017_0009__owner->r_0017_0006__the_r_0017_0007__restaurant_r_0017_0008___apos_s [gen] z_000_17_a_duplex_10 z_000_17_a_duplex_10->r_0017_0003__Oren_r_0017_0004__Dobronsky [prd] r_0017_0002__helper helper z_000_17_a_duplex_10->r_0017_0002__helper [arg0] r_0017_0001__Human Human r_0017_0002__helper->r_0017_0001__Human [attrib] r_0017_0017__listen_r_0017_0018__in listen in r_0017_0016__we we r_0017_0017__listen_r_0017_0018__in->r_0017_0016__we [arg0] r_0017_0015__and and r_0017_0015__and->r_0017_0017__listen_r_0017_0018__in [conj2] r_0017_0011__picks_r_0017_0012__up picks up r_0017_0015__and->r_0017_0011__picks_r_0017_0012__up [conj1] r_0017_0011__picks_r_0017_0012__up->r_0017_0002__helper [arg0] r_0017_0013__the_r_0017_0014__phone the phone r_0017_0011__picks_r_0017_0012__up->r_0017_0013__the_r_0017_0014__phone [arg1] 
fof(formula,axiom,
    ? [R_17_15_AND,R_17_11_PICKS_UP,R_17_13_THE_PHONE,R_17_17_LISTEN_IN,R_17_16_WE,Z_17_A_DUPLEX_10,R_17_2_HELPER,R_17_1_HUMAN,Z_17_A_DUPLEX_18,R_17_3_OREN_DOBRONSKY,R_17_9_OWNER,R_17_6_THE_RESTAURANT_APOS_S] :
      ( the_phone(R_17_13_THE_PHONE)
      & we(R_17_16_WE)
      & human(R_17_1_HUMAN)
      & oren_Dobronsky(R_17_3_OREN_DOBRONSKY)
      & the_restaurant_apos_s(R_17_6_THE_RESTAURANT_APOS_S)
      & and(R_17_15_AND)
      & conj1(R_17_15_AND,R_17_11_PICKS_UP)
      & picks_up(R_17_11_PICKS_UP,R_17_2_HELPER,R_17_13_THE_PHONE)
      & helper(R_17_2_HELPER)
      & attrib5(R_17_2_HELPER,R_17_1_HUMAN)
      & conj2(R_17_15_AND,R_17_17_LISTEN_IN)
      & listen_in(R_17_17_LISTEN_IN,R_17_16_WE)
      & z_17_a_duplex_10(Z_17_A_DUPLEX_10,R_17_2_HELPER,R_17_3_OREN_DOBRONSKY)
      & z_17_a_duplex_18(Z_17_A_DUPLEX_18,R_17_3_OREN_DOBRONSKY,R_17_9_OWNER)
      & owner(R_17_9_OWNER)
      & gen(R_17_9_OWNER,R_17_6_THE_RESTAURANT_APOS_S) ) ).


n17_a_duplex n17_a_duplex__1_1_1_1_1_1_1 Human n17_a_duplex__1_1_1_1_2_1 helper n17_a_duplex__1_1_1_1_3_1_1_1 Oren n17_a_duplex__1_1_1_1_3_1_2_1 Dobronsky n17_a_duplex__1_1_1_1_3_1_3_1 , n17_a_duplex__1_1_1_1_3_1_4_1_1_1_1 the n17_a_duplex__1_1_1_1_3_1_4_1_1_2_1 restaurant n17_a_duplex__1_1_1_1_3_1_4_1_1_3_1 's n17_a_duplex__1_1_1_1_3_1_4_1_2_1 owner n17_a_duplex__1_1_1_2_1 , n17_a_duplex__1_1_1_3_1 picks n17_a_duplex__1_1_1_4_1 up n17_a_duplex__1_1_1_5_1_1 the n17_a_duplex__1_1_1_5_2_1 phone n17_a_duplex__1_1_2_1_1 and n17_a_duplex__1_1_2_2_1_1_1 we n17_a_duplex__1_1_2_2_2_1 listen n17_a_duplex__1_1_2_2_3_1 in n17_a_duplex__1_2_1 . n17_a_duplex__1 IP-MAT n17_a_duplex__1_1 ILYR n17_a_duplex__1->n17_a_duplex__1_1 n17_a_duplex__1_2 PUNC n17_a_duplex__1->n17_a_duplex__1_2 n17_a_duplex__1_1_1 ILYR n17_a_duplex__1_1->n17_a_duplex__1_1_1 n17_a_duplex__1_1_2 CONJP n17_a_duplex__1_1->n17_a_duplex__1_1_2 n17_a_duplex__1_1_1_1 NP-SBJ n17_a_duplex__1_1_1->n17_a_duplex__1_1_1_1 n17_a_duplex__1_1_1_2 PUNC n17_a_duplex__1_1_1->n17_a_duplex__1_1_1_2 n17_a_duplex__1_1_1_3 VBP;_phr_Vn<=>p_ n17_a_duplex__1_1_1->n17_a_duplex__1_1_1_3 n17_a_duplex__1_1_1_4 RP n17_a_duplex__1_1_1->n17_a_duplex__1_1_1_4 n17_a_duplex__1_1_1_5 NP-OB1 n17_a_duplex__1_1_1->n17_a_duplex__1_1_1_5 n17_a_duplex__1_1_1_1_1 ADJP n17_a_duplex__1_1_1_1->n17_a_duplex__1_1_1_1_1 n17_a_duplex__1_1_1_1_2 N n17_a_duplex__1_1_1_1->n17_a_duplex__1_1_1_1_2 n17_a_duplex__1_1_1_1_3 IP-PPL n17_a_duplex__1_1_1_1->n17_a_duplex__1_1_1_1_3 n17_a_duplex__1_1_1_1_1_1 ADJ n17_a_duplex__1_1_1_1_1->n17_a_duplex__1_1_1_1_1_1 n17_a_duplex__1_1_1_1_1_1->n17_a_duplex__1_1_1_1_1_1_1 n17_a_duplex__1_1_1_1_2->n17_a_duplex__1_1_1_1_2_1 n17_a_duplex__1_1_1_1_3_1 NP-PRD n17_a_duplex__1_1_1_1_3->n17_a_duplex__1_1_1_1_3_1 n17_a_duplex__1_1_1_1_3_1_1 NPR n17_a_duplex__1_1_1_1_3_1->n17_a_duplex__1_1_1_1_3_1_1 n17_a_duplex__1_1_1_1_3_1_2 NPR n17_a_duplex__1_1_1_1_3_1->n17_a_duplex__1_1_1_1_3_1_2 n17_a_duplex__1_1_1_1_3_1_3 PUNC n17_a_duplex__1_1_1_1_3_1->n17_a_duplex__1_1_1_1_3_1_3 n17_a_duplex__1_1_1_1_3_1_4 IP-PPL n17_a_duplex__1_1_1_1_3_1->n17_a_duplex__1_1_1_1_3_1_4 n17_a_duplex__1_1_1_1_3_1_1->n17_a_duplex__1_1_1_1_3_1_1_1 n17_a_duplex__1_1_1_1_3_1_2->n17_a_duplex__1_1_1_1_3_1_2_1 n17_a_duplex__1_1_1_1_3_1_3->n17_a_duplex__1_1_1_1_3_1_3_1 n17_a_duplex__1_1_1_1_3_1_4_1 NP-PRD n17_a_duplex__1_1_1_1_3_1_4->n17_a_duplex__1_1_1_1_3_1_4_1 n17_a_duplex__1_1_1_1_3_1_4_1_1 NP-GEN n17_a_duplex__1_1_1_1_3_1_4_1->n17_a_duplex__1_1_1_1_3_1_4_1_1 n17_a_duplex__1_1_1_1_3_1_4_1_2 N n17_a_duplex__1_1_1_1_3_1_4_1->n17_a_duplex__1_1_1_1_3_1_4_1_2 n17_a_duplex__1_1_1_1_3_1_4_1_1_1 D n17_a_duplex__1_1_1_1_3_1_4_1_1->n17_a_duplex__1_1_1_1_3_1_4_1_1_1 n17_a_duplex__1_1_1_1_3_1_4_1_1_2 N n17_a_duplex__1_1_1_1_3_1_4_1_1->n17_a_duplex__1_1_1_1_3_1_4_1_1_2 n17_a_duplex__1_1_1_1_3_1_4_1_1_3 GENM n17_a_duplex__1_1_1_1_3_1_4_1_1->n17_a_duplex__1_1_1_1_3_1_4_1_1_3 n17_a_duplex__1_1_1_1_3_1_4_1_1_1->n17_a_duplex__1_1_1_1_3_1_4_1_1_1_1 n17_a_duplex__1_1_1_1_3_1_4_1_1_2->n17_a_duplex__1_1_1_1_3_1_4_1_1_2_1 n17_a_duplex__1_1_1_1_3_1_4_1_1_3->n17_a_duplex__1_1_1_1_3_1_4_1_1_3_1 n17_a_duplex__1_1_1_1_3_1_4_1_2->n17_a_duplex__1_1_1_1_3_1_4_1_2_1 n17_a_duplex__1_1_1_2->n17_a_duplex__1_1_1_2_1 n17_a_duplex__1_1_1_3->n17_a_duplex__1_1_1_3_1 n17_a_duplex__1_1_1_4->n17_a_duplex__1_1_1_4_1 n17_a_duplex__1_1_1_5_1 D n17_a_duplex__1_1_1_5->n17_a_duplex__1_1_1_5_1 n17_a_duplex__1_1_1_5_2 N n17_a_duplex__1_1_1_5->n17_a_duplex__1_1_1_5_2 n17_a_duplex__1_1_1_5_1->n17_a_duplex__1_1_1_5_1_1 n17_a_duplex__1_1_1_5_2->n17_a_duplex__1_1_1_5_2_1 n17_a_duplex__1_1_2_1 CONJ n17_a_duplex__1_1_2->n17_a_duplex__1_1_2_1 n17_a_duplex__1_1_2_2 ILYR n17_a_duplex__1_1_2->n17_a_duplex__1_1_2_2 n17_a_duplex__1_1_2_1->n17_a_duplex__1_1_2_1_1 n17_a_duplex__1_1_2_2_1 NP-SBJ n17_a_duplex__1_1_2_2->n17_a_duplex__1_1_2_2_1 n17_a_duplex__1_1_2_2_2 VBP;_phr_Vp_ n17_a_duplex__1_1_2_2->n17_a_duplex__1_1_2_2_2 n17_a_duplex__1_1_2_2_3 RP n17_a_duplex__1_1_2_2->n17_a_duplex__1_1_2_2_3 n17_a_duplex__1_1_2_2_1_1 PRO n17_a_duplex__1_1_2_2_1->n17_a_duplex__1_1_2_2_1_1 n17_a_duplex__1_1_2_2_1_1->n17_a_duplex__1_1_2_2_1_1_1 n17_a_duplex__1_1_2_2_2->n17_a_duplex__1_1_2_2_2_1 n17_a_duplex__1_1_2_2_3->n17_a_duplex__1_1_2_2_3_1 n17_a_duplex__1_2->n17_a_duplex__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Human;{human}))
                              (N helper;{helper})
                              (IP-PPL (NP-PRD;{OREN} (NPR Oren;{Oren})
                                                     (NPR Dobronsky;{Dobronsky})
                                                     (PUNC ,)
                                                     (IP-PPL (NP-PRD (NP-GEN;{RESTAURANT} (D the;{the})
                                                                                          (N restaurant;{restaurant})
                                                                                          (GENM <apos>s))
                                                                     (N owner;{owner}))))))
                      (PUNC ,)
                      (VBP;_phr_Vn<=>p_ picks;{pick[up]})
                      (RP up;{up})
                      (NP-OB1 (D the;{the})
                              (N phone;{phone})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{JOURNALISTS} (PRO we;{we}))
                             (VBP;_phr_Vp_ listen;{listen[in]})
                             (RP in;{in}))))
          (PUNC .))
  (ID 17_a_duplex))