arc(r_0044_0005__see, r_0044_0004__you, arg0).
arc(r_0044_0005__see, z_000_44_a_duplex_7, arg1).
arc(r_0044_0006__is, r_0044_0002__Really, nim4).
arc(r_0044_0006__is, r_0044_0007__that_r_0044_0014__want, prd).
arc(r_0044_0006__is, z_000_44_a_duplex_7, arg0).
arc(r_0044_0007__that_r_0044_0014__want, r_0044_0008__people, arg0).
arc(r_0044_0007__that_r_0044_0014__want, r_0044_0026__and, arg1).
arc(r_0044_0008__people, r_0044_0010__these_r_0044_0011__situations, r_0044_0009__in).
arc(r_0044_0016__get, r_0044_0008__people, arg0).
arc(r_0044_0016__get, r_0044_0019__made, prd).
arc(r_0044_0016__get, z_000_44_a_duplex_48, arg1).
arc(r_0044_0019__made, x_000_44_a_duplex_58, arg1).
arc(r_0044_0019__made, z_000_44_a_duplex_59, arg0).
arc(r_0044_0026__and, r_0044_0016__get, conj1).
arc(r_0044_0026__and, r_0044_0028__get, conj2).
arc(r_0044_0028__get, r_0044_0008__people, arg0).
arc(r_0044_0028__get, r_0044_0027__kind_of, nim84).
arc(r_0044_0028__get, r_0044_0030__the_r_0044_0031__phone, r_0044_0029__off_clr92).

fof(formula,axiom,
    ? [R_0044_0004__YOU,Z_000_44_A_DUPLEX_7,R_0044_0005__SEE,R_0044_0002__REALLY,R_0044_0010__THESE_R_0044_0011__SITUATIONS,R_0044_0008__PEOPLE,X_000_44_A_DUPLEX_58,Z_000_44_A_DUPLEX_59,R_0044_0019__MADE,Z_000_44_A_DUPLEX_48,R_0044_0016__GET,R_0044_0027__KIND_OF,R_0044_0030__THE_R_0044_0031__PHONE,R_0044_0028__GET,R_0044_0026__AND,R_0044_0007__THAT_R_0044_0014__WANT,R_0044_0006__IS] :
      ( r_0044_0002__Really(R_0044_0002__REALLY)
      & r_0044_0004__you(R_0044_0004__YOU)
      & r_0044_0010__these_r_0044_0011__situations(R_0044_0010__THESE_R_0044_0011__SITUATIONS)
      & r_0044_0027__kind_of(R_0044_0027__KIND_OF)
      & r_0044_0030__the_r_0044_0031__phone(R_0044_0030__THE_R_0044_0031__PHONE)
      & x_000_44_a_duplex_58(X_000_44_A_DUPLEX_58)
      & z_000_44_a_duplex_48(Z_000_44_A_DUPLEX_48)
      & z_000_44_a_duplex_59(Z_000_44_A_DUPLEX_59)
      & z_000_44_a_duplex_7(Z_000_44_A_DUPLEX_7)
      & r_0044_0006__is(R_0044_0006__IS)
      & has_arg0(R_0044_0006__IS,Z_000_44_A_DUPLEX_7)
      & has_prd(R_0044_0006__IS,R_0044_0007__THAT_R_0044_0014__WANT)
      & r_0044_0007__that_r_0044_0014__want(R_0044_0007__THAT_R_0044_0014__WANT)
      & has_arg1(R_0044_0007__THAT_R_0044_0014__WANT,R_0044_0026__AND)
      & r_0044_0026__and(R_0044_0026__AND)
      & has_conj2(R_0044_0026__AND,R_0044_0028__GET)
      & r_0044_0028__get(R_0044_0028__GET)
      & has_r_0044_0029__off_clr92(R_0044_0028__GET,R_0044_0030__THE_R_0044_0031__PHONE)
      & has_nim84(R_0044_0028__GET,R_0044_0027__KIND_OF)
      & has_arg0(R_0044_0028__GET,R_0044_0008__PEOPLE)
      & r_0044_0008__people(R_0044_0008__PEOPLE)
      & has_r_0044_0009__in(R_0044_0008__PEOPLE,R_0044_0010__THESE_R_0044_0011__SITUATIONS)
      & has_conj1(R_0044_0026__AND,R_0044_0016__GET)
      & r_0044_0016__get(R_0044_0016__GET)
      & has_arg1(R_0044_0016__GET,Z_000_44_A_DUPLEX_48)
      & has_prd(R_0044_0016__GET,R_0044_0019__MADE)
      & r_0044_0019__made(R_0044_0019__MADE)
      & has_arg0(R_0044_0019__MADE,Z_000_44_A_DUPLEX_59)
      & has_arg1(R_0044_0019__MADE,X_000_44_A_DUPLEX_58)
      & has_arg0(R_0044_0016__GET,R_0044_0008__PEOPLE)
      & has_arg0(R_0044_0007__THAT_R_0044_0014__WANT,R_0044_0008__PEOPLE)
      & has_nim4(R_0044_0006__IS,R_0044_0002__REALLY)
      & r_0044_0005__see(R_0044_0005__SEE)
      & has_arg1(R_0044_0005__SEE,Z_000_44_A_DUPLEX_7)
      & has_arg0(R_0044_0005__SEE,R_0044_0004__YOU) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ADVP-NIM (ADV Really;{really}))
          (NP-SBJ (IP-REL (NP-OB1 (RPRO what;{what}))
                          (NP-SBJ (PRO you;{you}))
                          (VBP;_Tn_ see;{see})))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-DSC;{PERSONS} (NS people;{people})
                                                (PP (P-ROLE in;{in})
                                                    (NP (D these;{these})
                                                        (NS situations;{situation}))))
                              (PUNC ...)
                              (NP-SBJ;{PERSONS} (PRO they;{they}))
                              (VBP;_Tt_ want;{want})
                              (IP-INF-OB1 (TO to;{to})
                                          (ILYR (ILYR (VB;_VP24C_ get;{get})
                                                      (NP-OB1 (NLYR (NLYR (NP-GEN;{PERSONS} (PRO;_genm_ their;{their}))
                                                                          (N appointment;{appointment}))
                                                                    (CONJP *ICH*-118)))
                                                      (IP-PPL-PRD (NP-LGS *)
                                                                  (VVN;_Tn_ made;{make}))
                                                      (PUNC ,)
                                                      (CONJP-EPD-118 (CONJ or;{or})
                                                                     (NLYR (IP-REL (NP-PRD (RPRO whatever;{whatever}))
                                                                                   (NP-SBJ;{REQUEST} (PRO it;{it}))
                                                                                   (BEP;_Ln_ is;{be})))))
                                                (PUNC ,)
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (ADVP-NIM (ADV kind_of;{kind_of}))
                                                             (VB;_phr_Vpr_ get;{get[off]})
                                                             (PP-CLR (P-ROLE off;{off})
                                                                     (NP (D the;{the})
                                                                         (N phone;{phone})))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 44_a_duplex))