TSPC 17_a_duplex

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

( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Human;{human}))
                              (N helper;{helper})
                              (PRN (NP;{OREN} (NPR Oren;{Oren})
                                              (NPR Dobronsky;{Dobronsky})
                                              (PUNC ,)
                                              (PRN (NP (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))

arc(r_0017_0002__helper,r_0017_0001__Human,attrib).
arc(r_0017_0009__owner,r_0017_0006__the_r_0017_0007__restaurant,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_0017_5005,r_0017_0003__Oren_r_0017_0004__Dobronsky,arg0).
arc(z_0017_5005,r_0017_0009__owner,prd).
arc(z_0017_5007,r_0017_0002__helper,arg0).
arc(z_0017_5007,r_0017_0003__Oren_r_0017_0004__Dobronsky,prd).

fof(formula,axiom,
    ? [R_0017_0001__HUMAN,R_0017_0002__HELPER,R_0017_0013__THE_R_0017_0014__PHONE,R_0017_0011__PICKS_R_0017_0012__UP,R_0017_0016__WE,R_0017_0017__LISTEN_R_0017_0018__IN,R_0017_0015__AND,R_0017_0003__OREN_R_0017_0004__DOBRONSKY,R_0017_0006__THE_R_0017_0007__RESTAURANT,R_0017_0009__OWNER,Z_0017_5005,Z_0017_5007] :
      ( r_0017_0001__Human(R_0017_0001__HUMAN)
      & r_0017_0003__Oren_r_0017_0004__Dobronsky(R_0017_0003__OREN_R_0017_0004__DOBRONSKY)
      & r_0017_0006__the_r_0017_0007__restaurant(R_0017_0006__THE_R_0017_0007__RESTAURANT)
      & r_0017_0013__the_r_0017_0014__phone(R_0017_0013__THE_R_0017_0014__PHONE)
      & r_0017_0016__we(R_0017_0016__WE)
      & z_0017_5007(Z_0017_5007)
      & has_prd(Z_0017_5007,R_0017_0003__OREN_R_0017_0004__DOBRONSKY)
      & has_arg0(Z_0017_5007,R_0017_0002__HELPER)
      & r_0017_0002__helper(R_0017_0002__HELPER)
      & has_attrib(R_0017_0002__HELPER,R_0017_0001__HUMAN)
      & z_0017_5005(Z_0017_5005)
      & has_prd(Z_0017_5005,R_0017_0009__OWNER)
      & r_0017_0009__owner(R_0017_0009__OWNER)
      & has_gen(R_0017_0009__OWNER,R_0017_0006__THE_R_0017_0007__RESTAURANT)
      & has_arg0(Z_0017_5005,R_0017_0003__OREN_R_0017_0004__DOBRONSKY)
      & r_0017_0015__and(R_0017_0015__AND)
      & has_conj2(R_0017_0015__AND,R_0017_0017__LISTEN_R_0017_0018__IN)
      & r_0017_0017__listen_r_0017_0018__in(R_0017_0017__LISTEN_R_0017_0018__IN)
      & has_arg0(R_0017_0017__LISTEN_R_0017_0018__IN,R_0017_0016__WE)
      & has_conj1(R_0017_0015__AND,R_0017_0011__PICKS_R_0017_0012__UP)
      & r_0017_0011__picks_r_0017_0012__up(R_0017_0011__PICKS_R_0017_0012__UP)
      & has_arg1(R_0017_0011__PICKS_R_0017_0012__UP,R_0017_0013__THE_R_0017_0014__PHONE)
      & has_arg0(R_0017_0011__PICKS_R_0017_0012__UP,R_0017_0002__HELPER) ) ).