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(utterance_24_a_duplex_43, r_0024_0018__n_apos_t, part1).
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_24_31_AND,R_24_10_HAS,R_24_5_THE_RECIPIENT,R_24_8_THE_CALL,R_24_11_THE_OPTION,R_24_25_OR,R_24_13_TO_SAY,UTTERANCE_24_A_DUPLEX_43,Z_24_A_DUPLEX_71,Z_24_A_DUPLEX_34,R_24_26_WORDS,R_24_28_THAT_EFFECT,R_24_2_THIS_POINT,R_24_34_WILL_HANG_UP,R_24_32_THE_SYSTEM] :
      ( the_call(R_24_8_THE_CALL)
      & that_effect(R_24_28_THAT_EFFECT)
      & this_point(R_24_2_THIS_POINT)
      & the_system(R_24_32_THE_SYSTEM)
      & and(R_24_31_AND)
      & conj1(R_24_31_AND,R_24_10_HAS)
      & has(R_24_10_HAS,R_24_5_THE_RECIPIENT,R_24_11_THE_OPTION)
      & the_recipient(R_24_5_THE_RECIPIENT)
      & of(R_24_5_THE_RECIPIENT,R_24_8_THE_CALL)
      & the_option(R_24_11_THE_OPTION)
      & emb34(R_24_11_THE_OPTION,R_24_25_OR)
      & or(R_24_25_OR)
      & conj1(R_24_25_OR,R_24_13_TO_SAY)
      & to_say(R_24_13_TO_SAY,Z_24_A_DUPLEX_34,UTTERANCE_24_A_DUPLEX_43)
      & utterance_24_a_duplex_43(UTTERANCE_24_A_DUPLEX_43)
      & part1(UTTERANCE_24_A_DUPLEX_43,R_24_18_N_APOS_T)
      & ~ ? [R_24_17_DO_WANT,R_24_20_TO_BE_RECORDED,Z_24_A_DUPLEX_60,R_24_16_I] :
            ( i(R_24_16_I)
            & do_want(R_24_17_DO_WANT,R_24_16_I,R_24_20_TO_BE_RECORDED)
            & to_be_recorded(R_24_20_TO_BE_RECORDED,Z_24_A_DUPLEX_60,R_24_16_I) )
      & conj2(R_24_25_OR,Z_24_A_DUPLEX_71)
      & z_24_a_duplex_71(Z_24_A_DUPLEX_71,Z_24_A_DUPLEX_34,R_24_26_WORDS)
      & words(R_24_26_WORDS)
      & to(R_24_26_WORDS,R_24_28_THAT_EFFECT)
      & at_nim7(R_24_10_HAS,R_24_2_THIS_POINT)
      & conj2(R_24_31_AND,R_24_34_WILL_HANG_UP)
      & will_hang_up(R_24_34_WILL_HANG_UP,R_24_32_THE_SYSTEM) ) ).

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