1_a_duplex
Google's robot caller in first public trial
( (FRAG (NP;{ROBOT_CALLER} (NP-GEN;{GOOGLE} (NPR Google;{Google})
(GENM <apos>s))
(ADJP (ADJ robot;{robot}))
(N caller;{caller}))
(PP (P-ROLE in;{in})
(NP (NUM first;{first})
(ADJP (ADJ public;{public}))
(N trial;{trial}))))
(ID 1_a_duplex))
arc(r_0001_0004__caller,r_0001_0001__Google,gen).
arc(r_0001_0004__caller,r_0001_0003__robot,attrib).
arc(r_0001_0006__first_r_0001_0008__trial,r_0001_0007__public,attrib).
arc(z_0001_5007,r_0001_0004__caller,z_0001_5004).
arc(z_0001_5007,r_0001_0006__first_r_0001_0008__trial,r_0001_0005__in).
fof(formula,axiom,
? [R_0001_0001__GOOGLE,R_0001_0003__ROBOT,R_0001_0004__CALLER,R_0001_0007__PUBLIC,R_0001_0006__FIRST_R_0001_0008__TRIAL,Z_0001_5007] :
( r_0001_0001__Google(R_0001_0001__GOOGLE)
& r_0001_0003__robot(R_0001_0003__ROBOT)
& r_0001_0007__public(R_0001_0007__PUBLIC)
& z_0001_5007(Z_0001_5007)
& has_r_0001_0005__in(Z_0001_5007,R_0001_0006__FIRST_R_0001_0008__TRIAL)
& r_0001_0006__first_r_0001_0008__trial(R_0001_0006__FIRST_R_0001_0008__TRIAL)
& has_attrib(R_0001_0006__FIRST_R_0001_0008__TRIAL,R_0001_0007__PUBLIC)
& has_z_0001_5004(Z_0001_5007,R_0001_0004__CALLER)
& r_0001_0004__caller(R_0001_0004__CALLER)
& has_attrib(R_0001_0004__CALLER,R_0001_0003__ROBOT)
& has_gen(R_0001_0004__CALLER,R_0001_0001__GOOGLE) ) ).