arc(utterance_24_a_duplex_43, r_0024_0018__n_apos_t, part1).
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_nim7).
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, emb34).
arc(r_0024_0013__to_r_0024_0014__say, utterance_24_a_duplex_43, arg1).
arc(r_0024_0013__to_r_0024_0014__say, z_000_24_a_duplex_34, arg0).
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_0020__to_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_0020__to_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_000_24_a_duplex_60, arg0).
arc(r_0024_0025__or, r_0024_0013__to_r_0024_0014__say, conj1).
arc(r_0024_0025__or, z_000_24_a_duplex_71, 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_000_24_a_duplex_71, r_0024_0026__words, arg1).
arc(z_000_24_a_duplex_71, z_000_24_a_duplex_34, 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,UTTERANCE_24_A_DUPLEX_43,Z_000_24_A_DUPLEX_34,R_0024_0013__TO_R_0024_0014__SAY,R_0024_0028__THAT_R_0024_0029__EFFECT,R_0024_0026__WORDS,Z_000_24_A_DUPLEX_71,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_000_24_a_duplex_34(Z_000_24_A_DUPLEX_34)
      & 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_emb34(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_000_24_A_DUPLEX_71)
      & z_000_24_a_duplex_71(Z_000_24_A_DUPLEX_71)
      & has_arg0(Z_000_24_A_DUPLEX_71,Z_000_24_A_DUPLEX_34)
      & has_arg1(Z_000_24_A_DUPLEX_71,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_0013__TO_R_0024_0014__SAY)
      & r_0024_0013__to_r_0024_0014__say(R_0024_0013__TO_R_0024_0014__SAY)
      & has_arg0(R_0024_0013__TO_R_0024_0014__SAY,Z_000_24_A_DUPLEX_34)
      & has_arg1(R_0024_0013__TO_R_0024_0014__SAY,UTTERANCE_24_A_DUPLEX_43)
      & utterance_24_a_duplex_43(UTTERANCE_24_A_DUPLEX_43)
      & has_part1(UTTERANCE_24_A_DUPLEX_43,R_0024_0018__N_APOS_T)
      & ~ ? [R_0024_0016__I,Z_000_24_A_DUPLEX_60,R_0024_0020__TO_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_000_24_a_duplex_60(Z_000_24_A_DUPLEX_60)
            & 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_0020__TO_R_0024_0021__BE_R_0024_0022__RECORDED)
            & r_0024_0020__to_r_0024_0021__be_r_0024_0022__recorded(R_0024_0020__TO_R_0024_0021__BE_R_0024_0022__RECORDED)
            & has_arg0(R_0024_0020__TO_R_0024_0021__BE_R_0024_0022__RECORDED,Z_000_24_A_DUPLEX_60)
            & has_arg1(R_0024_0020__TO_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_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_nim7(R_0024_0010__HAS,R_0024_0002__THIS_R_0024_0003__POINT) ) ).

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