arc(r_0004_0004__calling_r_0004_0005__service, r_0004_0001__Google_r_0004_0002___apos_s, gen).
arc(r_0004_0004__calling_r_0004_0005__service, r_0004_0003__robotic, attrib8).
arc(r_0004_0008__can, r_0004_0009__speak, scope).
arc(r_0004_0009__speak, r_0004_0004__calling_r_0004_0005__service, arg0).
arc(r_0004_0009__speak, r_0004_0011__humans, r_0004_0010__to_clr29).
arc(r_0004_0012__to_r_0004_0013__make, r_0004_0004__calling_r_0004_0005__service, arg0).
arc(r_0004_0012__to_r_0004_0013__make, r_0004_0016__or, arg1).
arc(r_0004_0016__or, r_0004_0015__reservation, conj1).
arc(r_0004_0016__or, r_0004_0017__appointment, conj2).
arc(r_0004_0019__is, r_0004_0020__to_r_0004_0021__get, scope).
arc(r_0004_0020__to_r_0004_0021__get, r_0004_0004__calling_r_0004_0005__service, arg0).
arc(r_0004_0020__to_r_0004_0021__get, r_0004_0023__first_r_0004_0026__trial, arg1).
arc(r_0004_0023__first_r_0004_0026__trial, r_0004_0004__calling_r_0004_0005__service, gen).
arc(r_0004_0023__first_r_0004_0026__trial, r_0004_0024__small__hyphen__scale, attrib66).
arc(r_0004_0023__first_r_0004_0026__trial, r_0004_0025__public, attrib69).
arc(z_000_4_a_duplex_32, r_0004_0008__can, scope).
arc(z_000_4_a_duplex_32, r_0004_0012__to_r_0004_0013__make, restriction).

fof(formula,axiom,
    ? [R_4_19_IS_TO_GET,R_4_23_FIRST_TRIAL,R_4_24_SMALL_HYPHEN_SCALE,R_4_25_PUBLIC,Z_4_A_DUPLEX_32,R_4_12_TO_MAKE,R_4_16_OR,R_4_15_RESERVATION,R_4_17_APPOINTMENT,R_4_8_CAN_SPEAK,R_4_4_CALLING_SERVICE,R_4_3_ROBOTIC,R_4_1_GOOGLE_APOS_S,R_4_11_HUMANS] :
      ( small_hyphen_scale(R_4_24_SMALL_HYPHEN_SCALE)
      & public(R_4_25_PUBLIC)
      & reservation(R_4_15_RESERVATION)
      & appointment(R_4_17_APPOINTMENT)
      & robotic(R_4_3_ROBOTIC)
      & google_apos_s(R_4_1_GOOGLE_APOS_S)
      & humans(R_4_11_HUMANS)
      & is_to_get(R_4_19_IS_TO_GET,R_4_4_CALLING_SERVICE,R_4_23_FIRST_TRIAL)
      & calling_service(R_4_4_CALLING_SERVICE)
      & attrib8(R_4_4_CALLING_SERVICE,R_4_3_ROBOTIC)
      & gen(R_4_4_CALLING_SERVICE,R_4_1_GOOGLE_APOS_S)
      & first_trial(R_4_23_FIRST_TRIAL)
      & attrib66(R_4_23_FIRST_TRIAL,R_4_24_SMALL_HYPHEN_SCALE)
      & attrib69(R_4_23_FIRST_TRIAL,R_4_25_PUBLIC)
      & gen(R_4_23_FIRST_TRIAL,R_4_4_CALLING_SERVICE)
      & z_4_a_duplex_32(Z_4_A_DUPLEX_32)
      & conj1(Z_4_A_DUPLEX_32,R_4_12_TO_MAKE)
      & to_make(R_4_12_TO_MAKE,R_4_4_CALLING_SERVICE,R_4_16_OR)
      & or(R_4_16_OR)
      & conj1(R_4_16_OR,R_4_15_RESERVATION)
      & conj2(R_4_16_OR,R_4_17_APPOINTMENT)
      & conj2(Z_4_A_DUPLEX_32,R_4_8_CAN_SPEAK)
      & can_speak(R_4_8_CAN_SPEAK,R_4_4_CALLING_SERVICE)
      & to_clr29(R_4_8_CAN_SPEAK,R_4_11_HUMANS) ) ).

( (IP-MAT (NP-SBJ;{ROBOT_CALLER} (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                  (GENM <apos>s))
                                 (ADJP (ADJ robotic;{robotic}))
                                 (N calling;{calling})
                                 (N service;{service})
                                 (PUNC ,)
                                 (IP-REL (NP-SBJ (RPRO which;{which}))
                                         (MD;_cat_Vi_ can;{can})
                                         (IP-INF-CAT (VB;_Ipr_ speak;{speak[to]})
                                                     (PP-CLR (P-ROLE to;{to})
                                                             (NP (NS humans;{human}))))
                                         (PP-SCON (IP-INF2 (TO to;{to})
                                                           (VB;_Tn_ make;{make})
                                                           (NP-OB1 (D a;{a})
                                                                   (NLYR (NLYR (N reservation;{reservation}))
                                                                         (CONJP (CONJ or;{or})
                                                                                (NLYR (N appointment;{appointment})))))))))
          (PUNC ,)
          (BEP;_cat_Vt_ is;{be})
          (IP-INF-CAT (TO to;{to})
                      (VB;_Tn_ get;{get})
                      (NP-OB1 (NP-GEN;{ROBOT_CALLER} (PRO;_genm_ its;{its}))
                              (NUM first;{first})
                              (ADJP (ADJ small_<hyphen>_scale;{small_scale}))
                              (ADJP (ADJ public;{public}))
                              (N trial;{trial})))
          (PUNC .))
  (ID 4_a_duplex))