TSPC 23_a_duplex

23_a_duplex
Immediately noticeable is that Duplex now clearly identifies itself as an automated system, and says it will record the call - a line that stops it falling foul of California's two-party consent law for monitoring phone calls.

( (IP-MAT (ADVP-NIM (ADV Immediately;{immediately}))
          (NP-SBJ (N noticeable;{noticeable}))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (NP-SBJ;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
                              (ADVP-NIM (ADV now;{now}))
                              (ILYR (ILYR (ADVP-NIM (ADV clearly;{clearly}))
                                          (VBP;_Cn.n/a_ identifies;{identify[as]})
                                          (NP-OB1;{ROBOT_CALLER} (PNX itself;{itself}))
                                          (PP-PRD (P-ROLE as;{as})
                                                  (NP (D an;{an})
                                                      (ADJP (ADJ automated;{automated}))
                                                      (N system;{system}))))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (ILYR (VBP;_Tf_ says;{say})
                                                 (CP-THT-OB1 (IP-SUB (NP-SBJ;{ROBOT_CALLER} (PRO it;{it}))
                                                                     (MD;_cat_Vi_ will;{will})
                                                                     (IP-INF-CAT (VB;_Tn_ record;{record})
                                                                                 (NP-OB1 (D the;{the})
                                                                                         (N call;{call})))))
                                                 (PUNC <hyphen>)
                                                 (PRN (NP (D a;{a})
                                                          (N line;{line})
                                                          (IP-REL (C that;{that})
                                                                  (NP-SBJ *T*)
                                                                  (VBP;_Tng_ stops;{stop})
                                                                  (NP-DOB1;{ROBOT_CALLER} (PRO it;{it}))
                                                                  (IP-PPL-OB1 (VAG;_La_ falling;{fall})
                                                                              (ADJP-PRD (ADJ foul;{foul})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (NP-GEN (NPR California;{California})
                                                                                                        (GENM <apos>s))
                                                                                                (ADJP (ADJ two_<hyphen>_party;{two_party}))
                                                                                                (N consent;{consent})
                                                                                                (N law;{law})
                                                                                                (PP (P-ROLE for;{for})
                                                                                                    (IP-PPL (VAG;_Tn_ monitoring;{monitor})
                                                                                                            (NP-OB1 (N phone;{phone})
                                                                                                                    (NS calls;{call}))))))))))))))))
          (PUNC .))
  (ID 23_a_duplex))

arc(r_0023_0003__is,r_0023_0001__Immediately,nim).
arc(r_0023_0003__is,r_0023_0002__noticeable,arg0).
arc(r_0023_0003__is,r_0023_0015__and,prd).
arc(r_0023_0008__identifies,r_0023_0005__Duplex,arg0).
arc(r_0023_0008__identifies,r_0023_0005__Duplex,arg1).
arc(r_0023_0008__identifies,r_0023_0006__now,nim).
arc(r_0023_0008__identifies,r_0023_0007__clearly,nim).
arc(r_0023_0008__identifies,r_0023_0011__an_r_0023_0013__system,r_0023_0010__as__prd).
arc(r_0023_0011__an_r_0023_0013__system,r_0023_0012__automated,attrib).
arc(r_0023_0015__and,r_0023_0008__identifies,conj1).
arc(r_0023_0015__and,r_0023_0016__says,conj2).
arc(r_0023_0016__says,r_0023_0005__Duplex,arg0).
arc(r_0023_0016__says,r_0023_0006__now,nim).
arc(r_0023_0016__says,r_0023_0018__will,arg1).
arc(r_0023_0016__says,r_0023_0023__a_r_0023_0024__line,prn).
arc(r_0023_0018__will,r_0023_0019__record,scope).
arc(r_0023_0019__record,r_0023_0005__Duplex,arg0).
arc(r_0023_0019__record,r_0023_0020__the_r_0023_0021__call,arg1).
arc(r_0023_0026__stops,r_0023_0023__a_r_0023_0024__line,inv_arg0).
arc(r_0023_0026__stops,r_0023_0028__falling,arg1).
arc(r_0023_0028__falling,r_0023_0005__Duplex,arg0).
arc(r_0023_0028__falling,r_0023_0029__foul,prd).
arc(r_0023_0029__foul,r_0023_0034__consent_r_0023_0035__law,r_0023_0030__of).
arc(r_0023_0034__consent_r_0023_0035__law,r_0023_0031__California,gen).
arc(r_0023_0034__consent_r_0023_0035__law,r_0023_0033__two__hyphen__party,attrib).
arc(r_0023_0034__consent_r_0023_0035__law,r_0023_0037__monitoring,r_0023_0036__for).
arc(r_0023_0037__monitoring,r_0023_0038__phone_r_0023_0039__calls,arg1).
arc(r_0023_0037__monitoring,z_0023_5024,arg0).

fof(formula,axiom,
    ? [R_0023_0001__IMMEDIATELY,R_0023_0002__NOTICEABLE,R_0023_0005__DUPLEX,R_0023_0006__NOW,R_0023_0007__CLEARLY,R_0023_0012__AUTOMATED,R_0023_0011__AN_R_0023_0013__SYSTEM,R_0023_0008__IDENTIFIES,R_0023_0020__THE_R_0023_0021__CALL,R_0023_0018__WILL_R_0023_0019__RECORD,R_0023_0031__CALIFORNIA,R_0023_0033__TWO__HYPHEN__PARTY,R_0023_0038__PHONE_R_0023_0039__CALLS,Z_0023_5024,R_0023_0037__MONITORING,R_0023_0034__CONSENT_R_0023_0035__LAW,R_0023_0029__FOUL,R_0023_0028__FALLING,R_0023_0026__STOPS,R_0023_0023__A_R_0023_0024__LINE,R_0023_0016__SAYS,R_0023_0015__AND,R_0023_0003__IS] :
      ( r_0023_0001__Immediately(R_0023_0001__IMMEDIATELY)
      & r_0023_0002__noticeable(R_0023_0002__NOTICEABLE)
      & r_0023_0005__Duplex(R_0023_0005__DUPLEX)
      & r_0023_0006__now(R_0023_0006__NOW)
      & r_0023_0007__clearly(R_0023_0007__CLEARLY)
      & r_0023_0012__automated(R_0023_0012__AUTOMATED)
      & r_0023_0020__the_r_0023_0021__call(R_0023_0020__THE_R_0023_0021__CALL)
      & r_0023_0031__California(R_0023_0031__CALIFORNIA)
      & r_0023_0033__two__hyphen__party(R_0023_0033__TWO__HYPHEN__PARTY)
      & r_0023_0038__phone_r_0023_0039__calls(R_0023_0038__PHONE_R_0023_0039__CALLS)
      & z_0023_5024(Z_0023_5024)
      & r_0023_0003__is(R_0023_0003__IS)
      & has_prd(R_0023_0003__IS,R_0023_0015__AND)
      & r_0023_0015__and(R_0023_0015__AND)
      & has_conj2(R_0023_0015__AND,R_0023_0016__SAYS)
      & r_0023_0016__says(R_0023_0016__SAYS)
      & has_prn(R_0023_0016__SAYS,R_0023_0023__A_R_0023_0024__LINE)
      & r_0023_0023__a_r_0023_0024__line(R_0023_0023__A_R_0023_0024__LINE)
      & has_inv_arg0(R_0023_0023__A_R_0023_0024__LINE,R_0023_0026__STOPS)
      & r_0023_0026__stops(R_0023_0026__STOPS)
      & has_arg1(R_0023_0026__STOPS,R_0023_0028__FALLING)
      & r_0023_0028__falling(R_0023_0028__FALLING)
      & has_prd(R_0023_0028__FALLING,R_0023_0029__FOUL)
      & r_0023_0029__foul(R_0023_0029__FOUL)
      & has_r_0023_0030__of(R_0023_0029__FOUL,R_0023_0034__CONSENT_R_0023_0035__LAW)
      & r_0023_0034__consent_r_0023_0035__law(R_0023_0034__CONSENT_R_0023_0035__LAW)
      & has_r_0023_0036__for(R_0023_0034__CONSENT_R_0023_0035__LAW,R_0023_0037__MONITORING)
      & r_0023_0037__monitoring(R_0023_0037__MONITORING)
      & has_arg0(R_0023_0037__MONITORING,Z_0023_5024)
      & has_arg1(R_0023_0037__MONITORING,R_0023_0038__PHONE_R_0023_0039__CALLS)
      & has_attrib(R_0023_0034__CONSENT_R_0023_0035__LAW,R_0023_0033__TWO__HYPHEN__PARTY)
      & has_gen(R_0023_0034__CONSENT_R_0023_0035__LAW,R_0023_0031__CALIFORNIA)
      & has_arg0(R_0023_0028__FALLING,R_0023_0005__DUPLEX)
      & has_arg1(R_0023_0016__SAYS,R_0023_0018__WILL_R_0023_0019__RECORD)
      & r_0023_0018__will_r_0023_0019__record(R_0023_0018__WILL_R_0023_0019__RECORD)
      & has_arg1(R_0023_0018__WILL_R_0023_0019__RECORD,R_0023_0020__THE_R_0023_0021__CALL)
      & has_arg0(R_0023_0018__WILL_R_0023_0019__RECORD,R_0023_0005__DUPLEX)
      & has_nim(R_0023_0016__SAYS,R_0023_0006__NOW)
      & has_arg0(R_0023_0016__SAYS,R_0023_0005__DUPLEX)
      & has_conj1(R_0023_0015__AND,R_0023_0008__IDENTIFIES)
      & r_0023_0008__identifies(R_0023_0008__IDENTIFIES)
      & has_r_0023_0010__as__prd(R_0023_0008__IDENTIFIES,R_0023_0011__AN_R_0023_0013__SYSTEM)
      & r_0023_0011__an_r_0023_0013__system(R_0023_0011__AN_R_0023_0013__SYSTEM)
      & has_attrib(R_0023_0011__AN_R_0023_0013__SYSTEM,R_0023_0012__AUTOMATED)
      & has_nim(R_0023_0008__IDENTIFIES,R_0023_0007__CLEARLY)
      & has_nim(R_0023_0008__IDENTIFIES,R_0023_0006__NOW)
      & has_arg1(R_0023_0008__IDENTIFIES,R_0023_0005__DUPLEX)
      & has_arg0(R_0023_0008__IDENTIFIES,R_0023_0005__DUPLEX)
      & has_arg0(R_0023_0003__IS,R_0023_0002__NOTICEABLE)
      & has_nim(R_0023_0003__IS,R_0023_0001__IMMEDIATELY) ) ).