TSPC 53_a_duplex

53_a_duplex
Once someone prompts a Duplex call to find out, whatever answer the system receives from the human will instantly be placed into Google's database, viewable to all.

arc(r_0053_0001__Once, r_0053_0003__prompts, restriction).
arc(r_0053_0001__Once, r_0053_0019__will, scope).
arc(r_0053_0003__prompts, r_0053_0002__someone, arg0).
arc(r_0053_0003__prompts, r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call, arg1).
arc(r_0053_0007__to_r_0053_0008__find_r_0053_0009__out, r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call, arg0).
arc(r_0053_0015__receives, r_0053_0011__whatever_r_0053_0012__answer, arg1).
arc(r_0053_0015__receives, r_0053_0013__the_r_0053_0014__system, arg0).
arc(r_0053_0015__receives, r_0053_0017__the, r_0053_0016__from_nim46).
arc(r_0053_0017__the, r_0053_0018__human, attrib49).
arc(r_0053_0019__will, r_0053_0021__be, scope).
arc(r_0053_0021__be, r_0053_0020__instantly, nim55).
arc(r_0053_0021__be, r_0053_0022__placed, scope).
arc(r_0053_0022__placed, r_0053_0026__database, r_0053_0023__into_nim68).
arc(r_0053_0022__placed, z_000_53_a_duplex_29, arg1).
arc(r_0053_0022__placed, z_000_53_a_duplex_61, arg0).
arc(r_0053_0026__database, r_0053_0024__Google_r_0053_0025___apos_s, gen).
arc(r_0053_0028__viewable, z_000_53_a_duplex_85, r_0053_0029__to).
arc(r_0053_0030__all_quant, r_0053_0028__viewable, scope).
arc(r_0053_0030__all_quant, z_000_53_a_duplex_85, restriction).
arc(z_000_53_a_duplex_78, r_0053_0026__database, arg0).
arc(z_000_53_a_duplex_78, r_0053_0028__viewable, prd).

fof(formula,axiom,
    ? [R_0053_0002__SOMEONE,R_0053_0004__A_R_0053_0005__DUPLEX_R_0053_0006__CALL,R_0053_0003__PROMPTS,R_0053_0020__INSTANTLY,R_0053_0024__GOOGLE_R_0053_0025___APOS_S,R_0053_0026__DATABASE,Z_000_53_A_DUPLEX_29,Z_000_53_A_DUPLEX_61,R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED,R_0053_0001__ONCE,R_0053_0007__TO_R_0053_0008__FIND_R_0053_0009__OUT,R_0053_0011__WHATEVER_R_0053_0012__ANSWER,R_0053_0013__THE_R_0053_0014__SYSTEM,R_0053_0018__HUMAN,R_0053_0017__THE,R_0053_0015__RECEIVES] :
      ( r_0053_0002__someone(R_0053_0002__SOMEONE)
      & r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call(R_0053_0004__A_R_0053_0005__DUPLEX_R_0053_0006__CALL)
      & r_0053_0011__whatever_r_0053_0012__answer(R_0053_0011__WHATEVER_R_0053_0012__ANSWER)
      & r_0053_0013__the_r_0053_0014__system(R_0053_0013__THE_R_0053_0014__SYSTEM)
      & r_0053_0018__human(R_0053_0018__HUMAN)
      & r_0053_0020__instantly(R_0053_0020__INSTANTLY)
      & r_0053_0024__Google_r_0053_0025___apos_s(R_0053_0024__GOOGLE_R_0053_0025___APOS_S)
      & z_000_53_a_duplex_29(Z_000_53_A_DUPLEX_29)
      & z_000_53_a_duplex_61(Z_000_53_A_DUPLEX_61)
      & ! [Z_000_53_A_DUPLEX_85] :
          ( z_000_53_a_duplex_85(Z_000_53_A_DUPLEX_85)
         => ? [R_0053_0028__VIEWABLE,Z_000_53_A_DUPLEX_78] :
              ( z_000_53_a_duplex_78(Z_000_53_A_DUPLEX_78)
              & has_prd(Z_000_53_A_DUPLEX_78,R_0053_0028__VIEWABLE)
              & r_0053_0028__viewable(R_0053_0028__VIEWABLE)
              & has_r_0053_0029__to(R_0053_0028__VIEWABLE,Z_000_53_A_DUPLEX_85)
              & has_arg0(Z_000_53_A_DUPLEX_78,R_0053_0026__DATABASE) ) )
      & r_0053_0015__receives(R_0053_0015__RECEIVES)
      & has_r_0053_0016__from_nim46(R_0053_0015__RECEIVES,R_0053_0017__THE)
      & r_0053_0017__the(R_0053_0017__THE)
      & has_attrib49(R_0053_0017__THE,R_0053_0018__HUMAN)
      & has_arg0(R_0053_0015__RECEIVES,R_0053_0013__THE_R_0053_0014__SYSTEM)
      & has_arg1(R_0053_0015__RECEIVES,R_0053_0011__WHATEVER_R_0053_0012__ANSWER)
      & r_0053_0007__to_r_0053_0008__find_r_0053_0009__out(R_0053_0007__TO_R_0053_0008__FIND_R_0053_0009__OUT)
      & has_arg0(R_0053_0007__TO_R_0053_0008__FIND_R_0053_0009__OUT,R_0053_0004__A_R_0053_0005__DUPLEX_R_0053_0006__CALL)
      & r_0053_0001__Once(R_0053_0001__ONCE)
      & has_conj2(R_0053_0001__ONCE,R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED)
      & r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed(R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED)
      & has_arg0(R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED,Z_000_53_A_DUPLEX_61)
      & has_arg1(R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED,Z_000_53_A_DUPLEX_29)
      & has_r_0053_0023__into_nim68(R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED,R_0053_0026__DATABASE)
      & r_0053_0026__database(R_0053_0026__DATABASE)
      & has_gen(R_0053_0026__DATABASE,R_0053_0024__GOOGLE_R_0053_0025___APOS_S)
      & has_nim55(R_0053_0019__WILL_R_0053_0021__BE_R_0053_0022__PLACED,R_0053_0020__INSTANTLY)
      & has_conj1(R_0053_0001__ONCE,R_0053_0003__PROMPTS)
      & r_0053_0003__prompts(R_0053_0003__PROMPTS)
      & has_arg1(R_0053_0003__PROMPTS,R_0053_0004__A_R_0053_0005__DUPLEX_R_0053_0006__CALL)
      & has_arg0(R_0053_0003__PROMPTS,R_0053_0002__SOMEONE) ) ).

( (IP-MAT (PP-SCON (P-CONN Once;{once})
                   (IP-ADV (NP-SBJ (D;_nphd_ someone;{someone}))
                           (VBP;_Tn_ prompts;{prompt})
                           (NP-OB1 (D a;{a})
                                   (NPR Duplex;{Duplex})
                                   (N call;{call})
                                   (IP-INF-REL (NP-SBJ *T*)
                                               (TO to;{to})
                                               (VB;_phr_Vp_ find;{find[out]})
                                               (RP out;{out})))))
          (PUNC ,)
          (NP-SBJ (IP-REL (NP-OB1 (RD whatever;{whatever})
                                  (N answer;{answer}))
                          (NP-SBJ;{ROBOT_CALLER} (D the;{the})
                                                 (N system;{system}))
                          (VBP;_Tn.pr_ receives;{receive[from]})
                          (PP-NIM (P-ROLE from;{from})
                                  (NP (D the;{the})
                                      (ADJP (ADJ human;{human}))))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ADVP-NIM (ADV instantly;{instantly}))
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT;{PLACEMENT} (NP-LGS *)
                                              (VVN;_Tn.pr_ placed;{place[into]})
                                              (PP-NIM (P-ROLE into;{into})
                                                      (NP (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                                           (GENM <apos>s))
                                                          (N database;{database})
                                                          (PUNC ,)
                                                          (IP-PPL (NP-PRD (N viewable;{viewable})
                                                                          (PP (P-ROLE to;{to})
                                                                              (NP (Q;_nphd_ all;{all})))))))))
          (PUNC .))
  (ID 53_a_duplex))