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).

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,Z_000_17_A_DUPLEX_10,R_0017_0006__THE_R_0017_0007__RESTAURANT_R_0017_0008___APOS_S,R_0017_0009__OWNER,Z_000_17_A_DUPLEX_18] :
      ( 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_0008___apos_s(R_0017_0006__THE_R_0017_0007__RESTAURANT_R_0017_0008___APOS_S)
      & 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_000_17_a_duplex_18(Z_000_17_A_DUPLEX_18)
      & has_prd(Z_000_17_A_DUPLEX_18,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_R_0017_0008___APOS_S)
      & has_arg0(Z_000_17_A_DUPLEX_18,R_0017_0003__OREN_R_0017_0004__DOBRONSKY)
      & z_000_17_a_duplex_10(Z_000_17_A_DUPLEX_10)
      & has_prd(Z_000_17_A_DUPLEX_10,R_0017_0003__OREN_R_0017_0004__DOBRONSKY)
      & has_arg0(Z_000_17_A_DUPLEX_10,R_0017_0002__HELPER)
      & r_0017_0002__helper(R_0017_0002__HELPER)
      & has_attrib5(R_0017_0002__HELPER,R_0017_0001__HUMAN)
      & 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) ) ).

( (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))