TSPC 25_a_duplex

25_a_duplex
Moments later, a human operator working at one of Google's locations will ring back and make the booking on the user's behalf, and then opt out the business from receiving calls from Google Duplex in the future.

( (IP-MAT (ADVP-TPC-192 (NP (NS Moments;{moment}))
                        (ADVR later;{late}))
          (PUNC ,)
          (NP-SBJ;{HUMAN} (D a;{a})
                          (ADJP (ADJ human;{human}))
                          (N operator;{operator})
                          (IP-PPL (VAG;_I_ working;{work})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (NUM one;{one})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                                       (GENM <apos>s))
                                                      (NS locations;{location})))))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ILYR (ILYR (ADVP-NIM *ICH*-192)
                                  (ILYR (ILYR (VB;_Ip_ ring;{ring[back]})
                                              (ADVP-CLR (RP back;{back})))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VB;_Tn_ make;{make})
                                                     (NP-OB1 (D the;{the})
                                                             (N booking;{booking}))
                                                     (PP-NIM (P-ROLE on;{on})
                                                             (NP (NP-GEN (D the;{the})
                                                                         (N user;{user})
                                                                         (GENM <apos>s))
                                                                 (N behalf;{behalf})))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV then;{then}))
                                         (VB;_phr_Vn<=>p_ opt;{opt[out]})
                                         (RP out;{out})
                                         (NP-OB1 (D the;{the})
                                                 (N business;{business}))
                                         (PP-CLR (P-ROLE from;{from})
                                                 (IP-PPL (VAG;_Tn.pr_ receiving;{receive[from]})
                                                         (NP-OB1 (NS calls;{call}))
                                                         (PP-NIM (P-ROLE from;{from})
                                                                 (NP;{ROBOT_CALLER} (NPR Google;{Google})
                                                                                    (NPR Duplex;{Duplex})))
                                                         (PP-NIM (P-ROLE in;{in})
                                                                 (NP (D the;{the})
                                                                     (N future;{future})))))))))
          (PUNC .))
  (ID 25_a_duplex))

arc(r_0025_0002__later,r_0025_0001__Moments,nim).
arc(r_0025_0004__a_r_0025_0006__operator,r_0025_0005__human,attrib).
arc(r_0025_0007__working,r_0025_0004__a_r_0025_0006__operator,inv_arg0).
arc(r_0025_0007__working,r_0025_0009__one,r_0025_0008__at__nim).
arc(r_0025_0009__one,r_0025_0013__locations,r_0025_0010__of).
arc(r_0025_0013__locations,r_0025_0011__Google,gen).
arc(r_0025_0014__will,r_0025_0027__and,scope).
arc(r_0025_0015__ring_r_0025_0016__back,r_0025_0002__later,nim).
arc(r_0025_0015__ring_r_0025_0016__back,r_0025_0004__a_r_0025_0006__operator,arg0).
arc(r_0025_0017__and,r_0025_0015__ring_r_0025_0016__back,conj1).
arc(r_0025_0017__and,r_0025_0018__make,conj2).
arc(r_0025_0018__make,r_0025_0002__later,nim).
arc(r_0025_0018__make,r_0025_0004__a_r_0025_0006__operator,arg0).
arc(r_0025_0018__make,r_0025_0019__the_r_0025_0020__booking,arg1).
arc(r_0025_0018__make,r_0025_0025__behalf,r_0025_0021__on__nim).
arc(r_0025_0025__behalf,r_0025_0022__the_r_0025_0023__user,gen).
arc(r_0025_0027__and,r_0025_0017__and,conj1).
arc(r_0025_0027__and,r_0025_0029__opt_r_0025_0030__out,conj2).
arc(r_0025_0029__opt_r_0025_0030__out,r_0025_0004__a_r_0025_0006__operator,arg0).
arc(r_0025_0029__opt_r_0025_0030__out,r_0025_0028__then,nim).
arc(r_0025_0029__opt_r_0025_0030__out,r_0025_0031__the_r_0025_0032__business,arg1).
arc(r_0025_0029__opt_r_0025_0030__out,r_0025_0034__receiving,r_0025_0033__from__clr).
arc(r_0025_0034__receiving,r_0025_0031__the_r_0025_0032__business,arg0).
arc(r_0025_0034__receiving,r_0025_0035__calls,arg1).
arc(r_0025_0034__receiving,r_0025_0037__Google_r_0025_0038__Duplex,r_0025_0036__from__nim).
arc(r_0025_0034__receiving,r_0025_0040__the_r_0025_0041__future,r_0025_0039__in__nim).

fof(formula,axiom,
    ? [R_0025_0001__MOMENTS,R_0025_0002__LATER,R_0025_0005__HUMAN,R_0025_0011__GOOGLE,R_0025_0013__LOCATIONS,R_0025_0009__ONE,R_0025_0007__WORKING,R_0025_0004__A_R_0025_0006__OPERATOR,R_0025_0015__RING_R_0025_0016__BACK,R_0025_0019__THE_R_0025_0020__BOOKING,R_0025_0022__THE_R_0025_0023__USER,R_0025_0025__BEHALF,R_0025_0018__MAKE,R_0025_0017__AND,R_0025_0028__THEN,R_0025_0031__THE_R_0025_0032__BUSINESS,R_0025_0035__CALLS,R_0025_0037__GOOGLE_R_0025_0038__DUPLEX,R_0025_0040__THE_R_0025_0041__FUTURE,R_0025_0034__RECEIVING,R_0025_0029__OPT_R_0025_0030__OUT,R_0025_0027__AND,R_0025_0014__WILL] :
      ( r_0025_0001__Moments(R_0025_0001__MOMENTS)
      & r_0025_0005__human(R_0025_0005__HUMAN)
      & r_0025_0011__Google(R_0025_0011__GOOGLE)
      & r_0025_0019__the_r_0025_0020__booking(R_0025_0019__THE_R_0025_0020__BOOKING)
      & r_0025_0022__the_r_0025_0023__user(R_0025_0022__THE_R_0025_0023__USER)
      & r_0025_0028__then(R_0025_0028__THEN)
      & r_0025_0031__the_r_0025_0032__business(R_0025_0031__THE_R_0025_0032__BUSINESS)
      & r_0025_0035__calls(R_0025_0035__CALLS)
      & r_0025_0037__Google_r_0025_0038__Duplex(R_0025_0037__GOOGLE_R_0025_0038__DUPLEX)
      & r_0025_0040__the_r_0025_0041__future(R_0025_0040__THE_R_0025_0041__FUTURE)
      & r_0025_0014__will(R_0025_0014__WILL)
      & has_keep_scope(R_0025_0014__WILL,R_0025_0027__AND)
      & r_0025_0027__and(R_0025_0027__AND)
      & has_conj2(R_0025_0027__AND,R_0025_0029__OPT_R_0025_0030__OUT)
      & r_0025_0029__opt_r_0025_0030__out(R_0025_0029__OPT_R_0025_0030__OUT)
      & has_r_0025_0033__from__clr(R_0025_0029__OPT_R_0025_0030__OUT,R_0025_0034__RECEIVING)
      & r_0025_0034__receiving(R_0025_0034__RECEIVING)
      & has_r_0025_0039__in__nim(R_0025_0034__RECEIVING,R_0025_0040__THE_R_0025_0041__FUTURE)
      & has_r_0025_0036__from__nim(R_0025_0034__RECEIVING,R_0025_0037__GOOGLE_R_0025_0038__DUPLEX)
      & has_arg1(R_0025_0034__RECEIVING,R_0025_0035__CALLS)
      & has_arg0(R_0025_0034__RECEIVING,R_0025_0031__THE_R_0025_0032__BUSINESS)
      & has_arg1(R_0025_0029__OPT_R_0025_0030__OUT,R_0025_0031__THE_R_0025_0032__BUSINESS)
      & has_nim(R_0025_0029__OPT_R_0025_0030__OUT,R_0025_0028__THEN)
      & has_arg0(R_0025_0029__OPT_R_0025_0030__OUT,R_0025_0004__A_R_0025_0006__OPERATOR)
      & r_0025_0004__a_r_0025_0006__operator(R_0025_0004__A_R_0025_0006__OPERATOR)
      & has_inv_arg0(R_0025_0004__A_R_0025_0006__OPERATOR,R_0025_0007__WORKING)
      & r_0025_0007__working(R_0025_0007__WORKING)
      & has_r_0025_0008__at__nim(R_0025_0007__WORKING,R_0025_0009__ONE)
      & r_0025_0009__one(R_0025_0009__ONE)
      & has_r_0025_0010__of(R_0025_0009__ONE,R_0025_0013__LOCATIONS)
      & r_0025_0013__locations(R_0025_0013__LOCATIONS)
      & has_gen(R_0025_0013__LOCATIONS,R_0025_0011__GOOGLE)
      & has_attrib(R_0025_0004__A_R_0025_0006__OPERATOR,R_0025_0005__HUMAN)
      & has_conj1(R_0025_0027__AND,R_0025_0017__AND)
      & r_0025_0017__and(R_0025_0017__AND)
      & has_conj2(R_0025_0017__AND,R_0025_0018__MAKE)
      & r_0025_0018__make(R_0025_0018__MAKE)
      & has_r_0025_0021__on__nim(R_0025_0018__MAKE,R_0025_0025__BEHALF)
      & r_0025_0025__behalf(R_0025_0025__BEHALF)
      & has_gen(R_0025_0025__BEHALF,R_0025_0022__THE_R_0025_0023__USER)
      & has_arg1(R_0025_0018__MAKE,R_0025_0019__THE_R_0025_0020__BOOKING)
      & has_arg0(R_0025_0018__MAKE,R_0025_0004__A_R_0025_0006__OPERATOR)
      & has_nim(R_0025_0018__MAKE,R_0025_0002__LATER)
      & r_0025_0002__later(R_0025_0002__LATER)
      & has_nim(R_0025_0002__LATER,R_0025_0001__MOMENTS)
      & has_conj1(R_0025_0017__AND,R_0025_0015__RING_R_0025_0016__BACK)
      & r_0025_0015__ring_r_0025_0016__back(R_0025_0015__RING_R_0025_0016__BACK)
      & has_arg0(R_0025_0015__RING_R_0025_0016__BACK,R_0025_0004__A_R_0025_0006__OPERATOR)
      & has_nim(R_0025_0015__RING_R_0025_0016__BACK,R_0025_0002__LATER) ) ).