10_a_duplex
Indeed, the recipient of the call may have no idea they are talking to a robot.
( (IP-MAT;{POINT} (ADVP-NIM (ADV Indeed;{indeed}))
(PUNC ,)
(NP-SBJ;{RECIPIENT} (D the;{the})
(N recipient;{recipient})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N call;{call}))))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (HV;_Tn_ have;{have})
(NP-OB1 (Q no;{no})
(N idea;{idea})
(CP-THT (IP-SUB (NP-SBJ;{RECIPIENT} (PRO they;{they}))
(BEP;_cat_Vg_ are;{be})
(IP-PPL-CAT (VAG;_Ipr_ talking;{talk[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D a;{a})
(N robot;{robot}))))))))
(PUNC .))
(ID 10_a_duplex))
arc(r_0010_0003__the_r_0010_0004__recipient,r_0010_0006__the_r_0010_0007__call,r_0010_0005__of).
arc(r_0010_0008__may,r_0010_0001__Indeed,nim).
arc(r_0010_0008__may,r_0010_0009__have,scope).
arc(r_0010_0009__have,r_0010_0003__the_r_0010_0004__recipient,arg0).
arc(r_0010_0009__have,r_0010_0011__idea,arg1).
arc(r_0010_0010__no__quant,r_0010_0008__may,scope).
arc(r_0010_0010__no__quant,r_0010_0011__idea,restriction).
arc(r_0010_0011__idea,r_0010_0013__are,emb).
arc(r_0010_0013__are,r_0010_0014__talking_r_0010_0015__to,scope).
arc(r_0010_0014__talking_r_0010_0015__to,r_0010_0003__the_r_0010_0004__recipient,arg0).
arc(r_0010_0014__talking_r_0010_0015__to,r_0010_0016__a_r_0010_0017__robot,arg1).
fof(formula,axiom,
! [R_0010_0011__IDEA,R_0010_0006__THE_R_0010_0007__CALL,R_0010_0003__THE_R_0010_0004__RECIPIENT,R_0010_0016__A_R_0010_0017__ROBOT,R_0010_0013__ARE_R_0010_0014__TALKING_R_0010_0015__TO] :
( ( r_0010_0006__the_r_0010_0007__call(R_0010_0006__THE_R_0010_0007__CALL)
& r_0010_0016__a_r_0010_0017__robot(R_0010_0016__A_R_0010_0017__ROBOT)
& r_0010_0011__idea(R_0010_0011__IDEA)
& has_emb(R_0010_0011__IDEA,R_0010_0013__ARE_R_0010_0014__TALKING_R_0010_0015__TO)
& r_0010_0013__are_r_0010_0014__talking_r_0010_0015__to(R_0010_0013__ARE_R_0010_0014__TALKING_R_0010_0015__TO)
& has_arg1(R_0010_0013__ARE_R_0010_0014__TALKING_R_0010_0015__TO,R_0010_0016__A_R_0010_0017__ROBOT)
& has_arg0(R_0010_0013__ARE_R_0010_0014__TALKING_R_0010_0015__TO,R_0010_0003__THE_R_0010_0004__RECIPIENT)
& r_0010_0003__the_r_0010_0004__recipient(R_0010_0003__THE_R_0010_0004__RECIPIENT)
& has_r_0010_0005__of(R_0010_0003__THE_R_0010_0004__RECIPIENT,R_0010_0006__THE_R_0010_0007__CALL) )
=> ? [R_0010_0001__INDEED,R_0010_0008__MAY_R_0010_0009__HAVE] :
( r_0010_0001__Indeed(R_0010_0001__INDEED)
& r_0010_0008__may_r_0010_0009__have(R_0010_0008__MAY_R_0010_0009__HAVE)
& has_arg1(R_0010_0008__MAY_R_0010_0009__HAVE,R_0010_0011__IDEA)
& has_arg0(R_0010_0008__MAY_R_0010_0009__HAVE,R_0010_0003__THE_R_0010_0004__RECIPIENT)
& has_nim(R_0010_0008__MAY_R_0010_0009__HAVE,R_0010_0001__INDEED) ) ) ).