( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE At;{at})
                              (NP (D this;{this})
                                  (N point;{point})))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (N recipient;{recipient})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N call;{call}))))
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (D the;{the})
                              (N option;{option})
                              (IP-INF (ILYR (ILYR (TO to;{to})
                                                  (VB;_Tr_ say;{say})
                                                  (PULQ <ldquo>)
                                                  (utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
                                                                         (DOP do;{do})
                                                                         (NEG;_clitic_ n<apos>t;{not})
                                                                         (VB;_Tt_ want;{want})
                                                                         (IP-INF-OB1 (TO to;{to})
                                                                                     (BE;_cat_VePASS_ be;{be})
                                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                                 (VVN;_Tn_ recorded;{record})))))
                                                  (PURQ <rdquo>))
                                            (PUNC <hyphen>)
                                            (CONJP (CONJ or;{or})
                                                   (ILYR (NP-OB1 (NS words;{word})
                                                                 (PP (P-ROLE to;{to})
                                                                     (NP (D that;{that})
                                                                         (N effect;{effect}))))))))))
                (PUNC <hyphen>)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{ROBOT_CALLER} (D the;{the})
                                                    (N system;{system}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_phr_Vp_ hang;{hang[up]})
                                         (RP up;{up})))))
          (PUNC .))
  (ID 24_a_duplex))

arc(r_0024_0005__the_r_0024_0006__recipient,r_0024_0008__the_r_0024_0009__call,r_0024_0007__of).
arc(r_0024_0010__has,r_0024_0002__this_r_0024_0003__point,r_0024_0001__At__nim).
arc(r_0024_0010__has,r_0024_0005__the_r_0024_0006__recipient,arg0).
arc(r_0024_0010__has,r_0024_0011__the_r_0024_0012__option,arg1).
arc(r_0024_0011__the_r_0024_0012__option,r_0024_0025__or,emb).
arc(r_0024_0014__say,z_0024_5007,arg0).
arc(r_0024_0014__say,z_0024_5009__utterance,arg1).
arc(r_0024_0017__do_r_0024_0019__want,r_0024_0016__I,arg0).
arc(r_0024_0017__do_r_0024_0019__want,r_0024_0021__be,arg1).
arc(r_0024_0018__n_apos_t,r_0024_0017__do_r_0024_0019__want,keep_scope).
arc(r_0024_0021__be,r_0024_0022__recorded,scope).
arc(r_0024_0022__recorded,r_0024_0016__I,arg1).
arc(r_0024_0022__recorded,z_0024_5012___star_,arg0).
arc(r_0024_0025__or,r_0024_0014__say,conj1).
arc(r_0024_0025__or,z_0024_5021,conj2).
arc(r_0024_0026__words,r_0024_0028__that_r_0024_0029__effect,r_0024_0027__to).
arc(r_0024_0031__and,r_0024_0010__has,conj1).
arc(r_0024_0031__and,r_0024_0034__will,conj2).
arc(r_0024_0034__will,r_0024_0035__hang_r_0024_0036__up,scope).
arc(r_0024_0035__hang_r_0024_0036__up,r_0024_0032__the_r_0024_0033__system,arg0).
arc(z_0024_5009__utterance,r_0024_0018__n_apos_t,part1).
arc(z_0024_5021,r_0024_0026__words,arg1).
arc(z_0024_5021,z_0024_5007,arg0).

fof(formula,axiom,
    ? [R_0024_0002__THIS_R_0024_0003__POINT,R_0024_0008__THE_R_0024_0009__CALL,R_0024_0005__THE_R_0024_0006__RECIPIENT,Z_0024_5007,Z_0024_5009__UTTERANCE,R_0024_0014__SAY,R_0024_0028__THAT_R_0024_0029__EFFECT,R_0024_0026__WORDS,Z_0024_5021,R_0024_0025__OR,R_0024_0011__THE_R_0024_0012__OPTION,R_0024_0010__HAS,R_0024_0032__THE_R_0024_0033__SYSTEM,R_0024_0034__WILL_R_0024_0035__HANG_R_0024_0036__UP,R_0024_0031__AND] :
      ( r_0024_0002__this_r_0024_0003__point(R_0024_0002__THIS_R_0024_0003__POINT)
      & r_0024_0008__the_r_0024_0009__call(R_0024_0008__THE_R_0024_0009__CALL)
      & r_0024_0028__that_r_0024_0029__effect(R_0024_0028__THAT_R_0024_0029__EFFECT)
      & r_0024_0032__the_r_0024_0033__system(R_0024_0032__THE_R_0024_0033__SYSTEM)
      & z_0024_5007(Z_0024_5007)
      & r_0024_0031__and(R_0024_0031__AND)
      & has_conj2(R_0024_0031__AND,R_0024_0034__WILL_R_0024_0035__HANG_R_0024_0036__UP)
      & r_0024_0034__will_r_0024_0035__hang_r_0024_0036__up(R_0024_0034__WILL_R_0024_0035__HANG_R_0024_0036__UP)
      & has_arg0(R_0024_0034__WILL_R_0024_0035__HANG_R_0024_0036__UP,R_0024_0032__THE_R_0024_0033__SYSTEM)
      & has_conj1(R_0024_0031__AND,R_0024_0010__HAS)
      & r_0024_0010__has(R_0024_0010__HAS)
      & has_arg1(R_0024_0010__HAS,R_0024_0011__THE_R_0024_0012__OPTION)
      & r_0024_0011__the_r_0024_0012__option(R_0024_0011__THE_R_0024_0012__OPTION)
      & has_emb(R_0024_0011__THE_R_0024_0012__OPTION,R_0024_0025__OR)
      & r_0024_0025__or(R_0024_0025__OR)
      & has_conj2(R_0024_0025__OR,Z_0024_5021)
      & z_0024_5021(Z_0024_5021)
      & has_arg0(Z_0024_5021,Z_0024_5007)
      & has_arg1(Z_0024_5021,R_0024_0026__WORDS)
      & r_0024_0026__words(R_0024_0026__WORDS)
      & has_r_0024_0027__to(R_0024_0026__WORDS,R_0024_0028__THAT_R_0024_0029__EFFECT)
      & has_conj1(R_0024_0025__OR,R_0024_0014__SAY)
      & r_0024_0014__say(R_0024_0014__SAY)
      & has_arg1(R_0024_0014__SAY,Z_0024_5009__UTTERANCE)
      & z_0024_5009__utterance(Z_0024_5009__UTTERANCE)
      & has_part1(Z_0024_5009__UTTERANCE,R_0024_0018__N_APOS_T)
      & ~ ? [R_0024_0016__I,Z_0024_5012___STAR_,R_0024_0021__BE_R_0024_0022__RECORDED,R_0024_0017__DO_R_0024_0019__WANT] :
            ( r_0024_0016__I(R_0024_0016__I)
            & z_0024_5012___star_(Z_0024_5012___STAR_)
            & r_0024_0017__do_r_0024_0019__want(R_0024_0017__DO_R_0024_0019__WANT)
            & has_arg1(R_0024_0017__DO_R_0024_0019__WANT,R_0024_0021__BE_R_0024_0022__RECORDED)
            & r_0024_0021__be_r_0024_0022__recorded(R_0024_0021__BE_R_0024_0022__RECORDED)
            & has_arg0(R_0024_0021__BE_R_0024_0022__RECORDED,Z_0024_5012___STAR_)
            & has_arg1(R_0024_0021__BE_R_0024_0022__RECORDED,R_0024_0016__I)
            & has_arg0(R_0024_0017__DO_R_0024_0019__WANT,R_0024_0016__I) )
      & has_arg0(R_0024_0014__SAY,Z_0024_5007)
      & has_arg0(R_0024_0010__HAS,R_0024_0005__THE_R_0024_0006__RECIPIENT)
      & r_0024_0005__the_r_0024_0006__recipient(R_0024_0005__THE_R_0024_0006__RECIPIENT)
      & has_r_0024_0007__of(R_0024_0005__THE_R_0024_0006__RECIPIENT,R_0024_0008__THE_R_0024_0009__CALL)
      & has_r_0024_0001__At__nim(R_0024_0010__HAS,R_0024_0002__THIS_R_0024_0003__POINT) ) ).