53_a_duplex
%3
r_0053_0001__Once
Once
r_0053_0003__prompts
prompts
r_0053_0001__Once->r_0053_0003__prompts
[restriction]
r_0053_0019__will
will
r_0053_0001__Once->r_0053_0019__will
[scope]
r_0053_0002__someone
someone
r_0053_0003__prompts->r_0053_0002__someone
[arg0]
r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call
a Duplex call
r_0053_0003__prompts->r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call
[arg1]
r_0053_0021__be
be
r_0053_0019__will->r_0053_0021__be
[scope]
r_0053_0007__to_r_0053_0008__find_r_0053_0009__out
to find out
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]
r_0053_0015__receives
receives
r_0053_0011__whatever_r_0053_0012__answer
whatever answer
r_0053_0015__receives->r_0053_0011__whatever_r_0053_0012__answer
[arg1]
r_0053_0013__the_r_0053_0014__system
the system
r_0053_0015__receives->r_0053_0013__the_r_0053_0014__system
[arg0]
r_0053_0017__the
the
r_0053_0015__receives->r_0053_0017__the
from [nim]
r_0053_0018__human
human
r_0053_0017__the->r_0053_0018__human
[attrib]
r_0053_0020__instantly
instantly
r_0053_0021__be->r_0053_0020__instantly
[nim]
r_0053_0022__placed
placed
r_0053_0021__be->r_0053_0022__placed
[scope]
r_0053_0026__database
database
r_0053_0022__placed->r_0053_0026__database
into [nim]
z_000_53_a_duplex_29
r_0053_0022__placed->z_000_53_a_duplex_29
[arg1]
z_000_53_a_duplex_61
r_0053_0022__placed->z_000_53_a_duplex_61
[arg0]
r_0053_0024__Google_r_0053_0025___apos_s
Google 's
r_0053_0026__database->r_0053_0024__Google_r_0053_0025___apos_s
[gen]
r_0053_0028__viewable
viewable
z_000_53_a_duplex_85
r_0053_0028__viewable->z_000_53_a_duplex_85
to
r_0053_0030__all_quant
all [quant]
r_0053_0030__all_quant->r_0053_0028__viewable
[scope]
r_0053_0030__all_quant->z_000_53_a_duplex_85
[restriction]
z_000_53_a_duplex_78
z_000_53_a_duplex_78->r_0053_0026__database
[arg0]
z_000_53_a_duplex_78->r_0053_0028__viewable
[prd]
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).
%3
z_000_53_a_duplex_78
r_0053_0028__viewable
viewable
z_000_53_a_duplex_78->r_0053_0028__viewable
[prd]
r_0053_0026__database
database
z_000_53_a_duplex_78->r_0053_0026__database
[arg0]
z_000_53_a_duplex_85
r_0053_0028__viewable->z_000_53_a_duplex_85
to
r_0053_0024__Google_r_0053_0025___apos_s
Google 's
r_0053_0026__database->r_0053_0024__Google_r_0053_0025___apos_s
[gen]
r_0053_0030__all_quant
all [quant]
r_0053_0030__all_quant->z_000_53_a_duplex_78
[scope]
r_0053_0030__all_quant->z_000_53_a_duplex_85
[restriction]
r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed
will be placed
r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed->r_0053_0026__database
into [nim]
z_000_53_a_duplex_61
r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed->z_000_53_a_duplex_61
[arg0]
z_000_53_a_duplex_29
r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed->z_000_53_a_duplex_29
[arg1]
r_0053_0020__instantly
instantly
r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed->r_0053_0020__instantly
[nim]
r_0053_0017__the
the
r_0053_0018__human
human
r_0053_0017__the->r_0053_0018__human
[attrib]
r_0053_0015__receives
receives
r_0053_0015__receives->r_0053_0017__the
from [nim]
r_0053_0013__the_r_0053_0014__system
the system
r_0053_0015__receives->r_0053_0013__the_r_0053_0014__system
[arg0]
r_0053_0011__whatever_r_0053_0012__answer
whatever answer
r_0053_0015__receives->r_0053_0011__whatever_r_0053_0012__answer
[arg1]
r_0053_0007__to_r_0053_0008__find_r_0053_0009__out
to find out
r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call
a Duplex call
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]
r_0053_0003__prompts
prompts
r_0053_0003__prompts->r_0053_0004__a_r_0053_0005__Duplex_r_0053_0006__call
[arg1]
r_0053_0002__someone
someone
r_0053_0003__prompts->r_0053_0002__someone
[arg0]
r_0053_0001__Once
Once
r_0053_0001__Once->r_0053_0019__will_r_0053_0021__be_r_0053_0022__placed
[conj2]
r_0053_0001__Once->r_0053_0003__prompts
[conj1]
fof(formula,axiom,
? [R_53_1_ONCE,R_53_3_PROMPTS,R_53_2_SOMEONE,R_53_19_WILL_BE_PLACED,Z_53_A_DUPLEX_61,Z_53_A_DUPLEX_29,R_53_20_INSTANTLY,R_53_26_DATABASE,R_53_24_GOOGLE_APOS_S,R_53_7_TO_FIND_OUT,R_53_4_A_DUPLEX_CALL,R_53_15_RECEIVES,R_53_13_THE_SYSTEM,R_53_11_WHATEVER_ANSWER,R_53_17_THE,R_53_18_HUMAN] :
( someone(R_53_2_SOMEONE)
& instantly(R_53_20_INSTANTLY)
& google_apos_s(R_53_24_GOOGLE_APOS_S)
& a_Duplex_call(R_53_4_A_DUPLEX_CALL)
& the_system(R_53_13_THE_SYSTEM)
& whatever_answer(R_53_11_WHATEVER_ANSWER)
& human(R_53_18_HUMAN)
& once(R_53_1_ONCE)
& conj1(R_53_1_ONCE,R_53_3_PROMPTS)
& prompts(R_53_3_PROMPTS,R_53_2_SOMEONE,R_53_4_A_DUPLEX_CALL)
& conj2(R_53_1_ONCE,R_53_19_WILL_BE_PLACED)
& will_be_placed(R_53_19_WILL_BE_PLACED,Z_53_A_DUPLEX_61,Z_53_A_DUPLEX_29)
& nim55(R_53_19_WILL_BE_PLACED,R_53_20_INSTANTLY)
& into_nim68(R_53_19_WILL_BE_PLACED,R_53_26_DATABASE)
& database(R_53_26_DATABASE)
& gen(R_53_26_DATABASE,R_53_24_GOOGLE_APOS_S)
& to_find_out(R_53_7_TO_FIND_OUT,R_53_4_A_DUPLEX_CALL)
& receives(R_53_15_RECEIVES,R_53_13_THE_SYSTEM,R_53_11_WHATEVER_ANSWER)
& from_nim46(R_53_15_RECEIVES,R_53_17_THE)
& the(R_53_17_THE)
& attrib49(R_53_17_THE,R_53_18_HUMAN)
& ! [Z_53_A_DUPLEX_85] :
( true
=> ? [Z_53_A_DUPLEX_78,R_53_28_VIEWABLE] :
( z_53_a_duplex_78(Z_53_A_DUPLEX_78,R_53_26_DATABASE,R_53_28_VIEWABLE)
& viewable(R_53_28_VIEWABLE)
& to(R_53_28_VIEWABLE,Z_53_A_DUPLEX_85) ) ) ) ).
n53_a_duplex
n53_a_duplex__1_1_1_1
Once
n53_a_duplex__1_1_2_1_1_1
someone
n53_a_duplex__1_1_2_2_1
prompts
n53_a_duplex__1_1_2_3_1_1
a
n53_a_duplex__1_1_2_3_2_1
Duplex
n53_a_duplex__1_1_2_3_3_1
call
n53_a_duplex__1_1_2_3_4_1_1
*T*
n53_a_duplex__1_1_2_3_4_2_1
to
n53_a_duplex__1_1_2_3_4_3_1
find
n53_a_duplex__1_1_2_3_4_4_1
out
n53_a_duplex__1_2_1
,
n53_a_duplex__1_3_1_1_1_1
whatever
n53_a_duplex__1_3_1_1_2_1
answer
n53_a_duplex__1_3_1_2_1_1
the
n53_a_duplex__1_3_1_2_2_1
system
n53_a_duplex__1_3_1_3_1
receives
n53_a_duplex__1_3_1_4_1_1
from
n53_a_duplex__1_3_1_4_2_1_1
the
n53_a_duplex__1_3_1_4_2_2_1_1
human
n53_a_duplex__1_4_1
will
n53_a_duplex__1_5_1_1_1
instantly
n53_a_duplex__1_5_2_1
be
n53_a_duplex__1_5_3_1_1
*
n53_a_duplex__1_5_3_2_1
placed
n53_a_duplex__1_5_3_3_1_1
into
n53_a_duplex__1_5_3_3_2_1_1_1
Google
n53_a_duplex__1_5_3_3_2_1_2_1
's
n53_a_duplex__1_5_3_3_2_2_1
database
n53_a_duplex__1_5_3_3_2_3_1
,
n53_a_duplex__1_5_3_3_2_4_1_1_1
viewable
n53_a_duplex__1_5_3_3_2_4_1_2_1_1
to
n53_a_duplex__1_5_3_3_2_4_1_2_2_1_1
all
n53_a_duplex__1_6_1
.
n53_a_duplex__1
IP-MAT
n53_a_duplex__1_1
PP-SCON
n53_a_duplex__1->n53_a_duplex__1_1
n53_a_duplex__1_2
PUNC
n53_a_duplex__1->n53_a_duplex__1_2
n53_a_duplex__1_3
NP-SBJ
n53_a_duplex__1->n53_a_duplex__1_3
n53_a_duplex__1_4
MD;_cat_Vi_
n53_a_duplex__1->n53_a_duplex__1_4
n53_a_duplex__1_5
IP-INF-CAT
n53_a_duplex__1->n53_a_duplex__1_5
n53_a_duplex__1_6
PUNC
n53_a_duplex__1->n53_a_duplex__1_6
n53_a_duplex__1_1_1
P-CONN
n53_a_duplex__1_1->n53_a_duplex__1_1_1
n53_a_duplex__1_1_2
IP-ADV
n53_a_duplex__1_1->n53_a_duplex__1_1_2
n53_a_duplex__1_1_1->n53_a_duplex__1_1_1_1
n53_a_duplex__1_1_2_1
NP-SBJ
n53_a_duplex__1_1_2->n53_a_duplex__1_1_2_1
n53_a_duplex__1_1_2_2
VBP;_Tn_
n53_a_duplex__1_1_2->n53_a_duplex__1_1_2_2
n53_a_duplex__1_1_2_3
NP-OB1
n53_a_duplex__1_1_2->n53_a_duplex__1_1_2_3
n53_a_duplex__1_1_2_1_1
D;_nphd_
n53_a_duplex__1_1_2_1->n53_a_duplex__1_1_2_1_1
n53_a_duplex__1_1_2_1_1->n53_a_duplex__1_1_2_1_1_1
n53_a_duplex__1_1_2_2->n53_a_duplex__1_1_2_2_1
n53_a_duplex__1_1_2_3_1
D
n53_a_duplex__1_1_2_3->n53_a_duplex__1_1_2_3_1
n53_a_duplex__1_1_2_3_2
NPR
n53_a_duplex__1_1_2_3->n53_a_duplex__1_1_2_3_2
n53_a_duplex__1_1_2_3_3
N
n53_a_duplex__1_1_2_3->n53_a_duplex__1_1_2_3_3
n53_a_duplex__1_1_2_3_4
IP-INF-REL
n53_a_duplex__1_1_2_3->n53_a_duplex__1_1_2_3_4
n53_a_duplex__1_1_2_3_1->n53_a_duplex__1_1_2_3_1_1
n53_a_duplex__1_1_2_3_2->n53_a_duplex__1_1_2_3_2_1
n53_a_duplex__1_1_2_3_3->n53_a_duplex__1_1_2_3_3_1
n53_a_duplex__1_1_2_3_4_1
NP-SBJ
n53_a_duplex__1_1_2_3_4->n53_a_duplex__1_1_2_3_4_1
n53_a_duplex__1_1_2_3_4_2
TO
n53_a_duplex__1_1_2_3_4->n53_a_duplex__1_1_2_3_4_2
n53_a_duplex__1_1_2_3_4_3
VB;_phr_Vp_
n53_a_duplex__1_1_2_3_4->n53_a_duplex__1_1_2_3_4_3
n53_a_duplex__1_1_2_3_4_4
RP
n53_a_duplex__1_1_2_3_4->n53_a_duplex__1_1_2_3_4_4
n53_a_duplex__1_1_2_3_4_1->n53_a_duplex__1_1_2_3_4_1_1
n53_a_duplex__1_1_2_3_4_2->n53_a_duplex__1_1_2_3_4_2_1
n53_a_duplex__1_1_2_3_4_3->n53_a_duplex__1_1_2_3_4_3_1
n53_a_duplex__1_1_2_3_4_4->n53_a_duplex__1_1_2_3_4_4_1
n53_a_duplex__1_2->n53_a_duplex__1_2_1
n53_a_duplex__1_3_1
IP-REL
n53_a_duplex__1_3->n53_a_duplex__1_3_1
n53_a_duplex__1_3_1_1
NP-OB1
n53_a_duplex__1_3_1->n53_a_duplex__1_3_1_1
n53_a_duplex__1_3_1_2
NP-SBJ
n53_a_duplex__1_3_1->n53_a_duplex__1_3_1_2
n53_a_duplex__1_3_1_3
VBP;_Tn.pr_
n53_a_duplex__1_3_1->n53_a_duplex__1_3_1_3
n53_a_duplex__1_3_1_4
PP-NIM
n53_a_duplex__1_3_1->n53_a_duplex__1_3_1_4
n53_a_duplex__1_3_1_1_1
RD
n53_a_duplex__1_3_1_1->n53_a_duplex__1_3_1_1_1
n53_a_duplex__1_3_1_1_2
N
n53_a_duplex__1_3_1_1->n53_a_duplex__1_3_1_1_2
n53_a_duplex__1_3_1_1_1->n53_a_duplex__1_3_1_1_1_1
n53_a_duplex__1_3_1_1_2->n53_a_duplex__1_3_1_1_2_1
n53_a_duplex__1_3_1_2_1
D
n53_a_duplex__1_3_1_2->n53_a_duplex__1_3_1_2_1
n53_a_duplex__1_3_1_2_2
N
n53_a_duplex__1_3_1_2->n53_a_duplex__1_3_1_2_2
n53_a_duplex__1_3_1_2_1->n53_a_duplex__1_3_1_2_1_1
n53_a_duplex__1_3_1_2_2->n53_a_duplex__1_3_1_2_2_1
n53_a_duplex__1_3_1_3->n53_a_duplex__1_3_1_3_1
n53_a_duplex__1_3_1_4_1
P-ROLE
n53_a_duplex__1_3_1_4->n53_a_duplex__1_3_1_4_1
n53_a_duplex__1_3_1_4_2
NP
n53_a_duplex__1_3_1_4->n53_a_duplex__1_3_1_4_2
n53_a_duplex__1_3_1_4_1->n53_a_duplex__1_3_1_4_1_1
n53_a_duplex__1_3_1_4_2_1
D
n53_a_duplex__1_3_1_4_2->n53_a_duplex__1_3_1_4_2_1
n53_a_duplex__1_3_1_4_2_2
ADJP
n53_a_duplex__1_3_1_4_2->n53_a_duplex__1_3_1_4_2_2
n53_a_duplex__1_3_1_4_2_1->n53_a_duplex__1_3_1_4_2_1_1
n53_a_duplex__1_3_1_4_2_2_1
ADJ
n53_a_duplex__1_3_1_4_2_2->n53_a_duplex__1_3_1_4_2_2_1
n53_a_duplex__1_3_1_4_2_2_1->n53_a_duplex__1_3_1_4_2_2_1_1
n53_a_duplex__1_4->n53_a_duplex__1_4_1
n53_a_duplex__1_5_1
ADVP-NIM
n53_a_duplex__1_5->n53_a_duplex__1_5_1
n53_a_duplex__1_5_2
BE;_cat_VePASS_
n53_a_duplex__1_5->n53_a_duplex__1_5_2
n53_a_duplex__1_5_3
IP-PPL-CAT
n53_a_duplex__1_5->n53_a_duplex__1_5_3
n53_a_duplex__1_5_1_1
ADV
n53_a_duplex__1_5_1->n53_a_duplex__1_5_1_1
n53_a_duplex__1_5_1_1->n53_a_duplex__1_5_1_1_1
n53_a_duplex__1_5_2->n53_a_duplex__1_5_2_1
n53_a_duplex__1_5_3_1
NP-LGS
n53_a_duplex__1_5_3->n53_a_duplex__1_5_3_1
n53_a_duplex__1_5_3_2
VVN;_Tn.pr_
n53_a_duplex__1_5_3->n53_a_duplex__1_5_3_2
n53_a_duplex__1_5_3_3
PP-NIM
n53_a_duplex__1_5_3->n53_a_duplex__1_5_3_3
n53_a_duplex__1_5_3_1->n53_a_duplex__1_5_3_1_1
n53_a_duplex__1_5_3_2->n53_a_duplex__1_5_3_2_1
n53_a_duplex__1_5_3_3_1
P-ROLE
n53_a_duplex__1_5_3_3->n53_a_duplex__1_5_3_3_1
n53_a_duplex__1_5_3_3_2
NP
n53_a_duplex__1_5_3_3->n53_a_duplex__1_5_3_3_2
n53_a_duplex__1_5_3_3_1->n53_a_duplex__1_5_3_3_1_1
n53_a_duplex__1_5_3_3_2_1
NP-GEN
n53_a_duplex__1_5_3_3_2->n53_a_duplex__1_5_3_3_2_1
n53_a_duplex__1_5_3_3_2_2
N
n53_a_duplex__1_5_3_3_2->n53_a_duplex__1_5_3_3_2_2
n53_a_duplex__1_5_3_3_2_3
PUNC
n53_a_duplex__1_5_3_3_2->n53_a_duplex__1_5_3_3_2_3
n53_a_duplex__1_5_3_3_2_4
IP-PPL
n53_a_duplex__1_5_3_3_2->n53_a_duplex__1_5_3_3_2_4
n53_a_duplex__1_5_3_3_2_1_1
NPR
n53_a_duplex__1_5_3_3_2_1->n53_a_duplex__1_5_3_3_2_1_1
n53_a_duplex__1_5_3_3_2_1_2
GENM
n53_a_duplex__1_5_3_3_2_1->n53_a_duplex__1_5_3_3_2_1_2
n53_a_duplex__1_5_3_3_2_1_1->n53_a_duplex__1_5_3_3_2_1_1_1
n53_a_duplex__1_5_3_3_2_1_2->n53_a_duplex__1_5_3_3_2_1_2_1
n53_a_duplex__1_5_3_3_2_2->n53_a_duplex__1_5_3_3_2_2_1
n53_a_duplex__1_5_3_3_2_3->n53_a_duplex__1_5_3_3_2_3_1
n53_a_duplex__1_5_3_3_2_4_1
NP-PRD
n53_a_duplex__1_5_3_3_2_4->n53_a_duplex__1_5_3_3_2_4_1
n53_a_duplex__1_5_3_3_2_4_1_1
N
n53_a_duplex__1_5_3_3_2_4_1->n53_a_duplex__1_5_3_3_2_4_1_1
n53_a_duplex__1_5_3_3_2_4_1_2
PP
n53_a_duplex__1_5_3_3_2_4_1->n53_a_duplex__1_5_3_3_2_4_1_2
n53_a_duplex__1_5_3_3_2_4_1_1->n53_a_duplex__1_5_3_3_2_4_1_1_1
n53_a_duplex__1_5_3_3_2_4_1_2_1
P-ROLE
n53_a_duplex__1_5_3_3_2_4_1_2->n53_a_duplex__1_5_3_3_2_4_1_2_1
n53_a_duplex__1_5_3_3_2_4_1_2_2
NP
n53_a_duplex__1_5_3_3_2_4_1_2->n53_a_duplex__1_5_3_3_2_4_1_2_2
n53_a_duplex__1_5_3_3_2_4_1_2_1->n53_a_duplex__1_5_3_3_2_4_1_2_1_1
n53_a_duplex__1_5_3_3_2_4_1_2_2_1
Q;_nphd_
n53_a_duplex__1_5_3_3_2_4_1_2_2->n53_a_duplex__1_5_3_3_2_4_1_2_2_1
n53_a_duplex__1_5_3_3_2_4_1_2_2_1->n53_a_duplex__1_5_3_3_2_4_1_2_2_1_1
n53_a_duplex__1_6->n53_a_duplex__1_6_1
( (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))