Context                Previous, Next                Top


10_a_duplex
Indeed, the recipient of the call may have no idea they are talking to a robot.

%3 r_0010_0003__the_r_0010_0004__recipient the recipient r_0010_0006__the_r_0010_0007__call the call r_0010_0003__the_r_0010_0004__recipient->r_0010_0006__the_r_0010_0007__call of r_0010_0008__may may r_0010_0001__Indeed Indeed r_0010_0008__may->r_0010_0001__Indeed [nim] r_0010_0010__no_quant no [quant] r_0010_0008__may->r_0010_0010__no_quant [scope] r_0010_0009__have have r_0010_0010__no_quant->r_0010_0009__have [scope] r_0010_0011__idea idea r_0010_0010__no_quant->r_0010_0011__idea [restriction] r_0010_0009__have->r_0010_0003__the_r_0010_0004__recipient [arg0] r_0010_0009__have->r_0010_0011__idea [arg1] r_0010_0013__are are r_0010_0011__idea->r_0010_0013__are [emb] r_0010_0014__talking talking r_0010_0013__are->r_0010_0014__talking [scope] r_0010_0014__talking->r_0010_0003__the_r_0010_0004__recipient [arg0] r_0010_0016__a_r_0010_0017__robot a robot r_0010_0014__talking->r_0010_0016__a_r_0010_0017__robot to [clr] 
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, nim2).
arc(r_0010_0008__may, r_0010_0010__no_quant, 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_0009__have, scope).
arc(r_0010_0010__no_quant, r_0010_0011__idea, restriction).
arc(r_0010_0011__idea, r_0010_0013__are, emb31).
arc(r_0010_0013__are, r_0010_0014__talking, scope).
arc(r_0010_0014__talking, r_0010_0003__the_r_0010_0004__recipient, arg0).
arc(r_0010_0014__talking, r_0010_0016__a_r_0010_0017__robot, r_0010_0015__to_clr43).


%3 r_0010_0008__may may r_0010_0010__no_quant no [quant] r_0010_0008__may->r_0010_0010__no_quant [keep_scope] r_0010_0001__Indeed Indeed r_0010_0008__may->r_0010_0001__Indeed [nim] r_0010_0011__idea idea r_0010_0010__no_quant->r_0010_0011__idea [restriction] r_0010_0009__have have r_0010_0010__no_quant->r_0010_0009__have [scope] r_0010_0013__are_r_0010_0014__talking are talking r_0010_0016__a_r_0010_0017__robot a robot r_0010_0013__are_r_0010_0014__talking->r_0010_0016__a_r_0010_0017__robot to [clr] r_0010_0003__the_r_0010_0004__recipient the recipient r_0010_0013__are_r_0010_0014__talking->r_0010_0003__the_r_0010_0004__recipient [arg0] r_0010_0006__the_r_0010_0007__call the call r_0010_0003__the_r_0010_0004__recipient->r_0010_0006__the_r_0010_0007__call of r_0010_0011__idea->r_0010_0013__are_r_0010_0014__talking [emb] r_0010_0009__have->r_0010_0003__the_r_0010_0004__recipient [arg0] r_0010_0009__have->r_0010_0011__idea [arg1] 
fof(formula,axiom,
    ? [R_0010_0001__INDEED,R_0010_0008__MAY] :
      ( r_0010_0001__Indeed(R_0010_0001__INDEED)
      & r_0010_0008__may(R_0010_0008__MAY)
      & ! [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_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_emb31(R_0010_0011__IDEA,R_0010_0013__ARE_R_0010_0014__TALKING)
            & r_0010_0013__are_r_0010_0014__talking(R_0010_0013__ARE_R_0010_0014__TALKING)
            & has_r_0010_0015__to_clr43(R_0010_0013__ARE_R_0010_0014__TALKING,R_0010_0016__A_R_0010_0017__ROBOT)
            & has_arg0(R_0010_0013__ARE_R_0010_0014__TALKING,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_0009__HAVE] :
              ( r_0010_0009__have(R_0010_0009__HAVE)
              & has_arg1(R_0010_0009__HAVE,R_0010_0011__IDEA)
              & has_arg0(R_0010_0009__HAVE,R_0010_0003__THE_R_0010_0004__RECIPIENT) ) )
      & has_nim2(R_0010_0008__MAY,R_0010_0001__INDEED) ) ).


n10_a_duplex n10_a_duplex__1_1_1_1 Indeed n10_a_duplex__1_2_1 , n10_a_duplex__1_3_1_1 the n10_a_duplex__1_3_2_1 recipient n10_a_duplex__1_3_3_1_1 of n10_a_duplex__1_3_3_2_1_1 the n10_a_duplex__1_3_3_2_2_1 call n10_a_duplex__1_4_1 may n10_a_duplex__1_5_1_1 have n10_a_duplex__1_5_2_1_1 no n10_a_duplex__1_5_2_2_1 idea n10_a_duplex__1_5_2_3_1_1_1_1 they n10_a_duplex__1_5_2_3_1_2_1 are n10_a_duplex__1_5_2_3_1_3_1_1 talking n10_a_duplex__1_5_2_3_1_3_2_1_1 to n10_a_duplex__1_5_2_3_1_3_2_2_1_1 a n10_a_duplex__1_5_2_3_1_3_2_2_2_1 robot n10_a_duplex__1_6_1 . n10_a_duplex__1 IP-MAT n10_a_duplex__1_1 ADVP-NIM n10_a_duplex__1->n10_a_duplex__1_1 n10_a_duplex__1_2 PUNC n10_a_duplex__1->n10_a_duplex__1_2 n10_a_duplex__1_3 NP-SBJ n10_a_duplex__1->n10_a_duplex__1_3 n10_a_duplex__1_4 MD;_cat_Vi_ n10_a_duplex__1->n10_a_duplex__1_4 n10_a_duplex__1_5 IP-INF-CAT n10_a_duplex__1->n10_a_duplex__1_5 n10_a_duplex__1_6 PUNC n10_a_duplex__1->n10_a_duplex__1_6 n10_a_duplex__1_1_1 ADV n10_a_duplex__1_1->n10_a_duplex__1_1_1 n10_a_duplex__1_1_1->n10_a_duplex__1_1_1_1 n10_a_duplex__1_2->n10_a_duplex__1_2_1 n10_a_duplex__1_3_1 D n10_a_duplex__1_3->n10_a_duplex__1_3_1 n10_a_duplex__1_3_2 N n10_a_duplex__1_3->n10_a_duplex__1_3_2 n10_a_duplex__1_3_3 PP n10_a_duplex__1_3->n10_a_duplex__1_3_3 n10_a_duplex__1_3_1->n10_a_duplex__1_3_1_1 n10_a_duplex__1_3_2->n10_a_duplex__1_3_2_1 n10_a_duplex__1_3_3_1 P-ROLE n10_a_duplex__1_3_3->n10_a_duplex__1_3_3_1 n10_a_duplex__1_3_3_2 NP n10_a_duplex__1_3_3->n10_a_duplex__1_3_3_2 n10_a_duplex__1_3_3_1->n10_a_duplex__1_3_3_1_1 n10_a_duplex__1_3_3_2_1 D n10_a_duplex__1_3_3_2->n10_a_duplex__1_3_3_2_1 n10_a_duplex__1_3_3_2_2 N n10_a_duplex__1_3_3_2->n10_a_duplex__1_3_3_2_2 n10_a_duplex__1_3_3_2_1->n10_a_duplex__1_3_3_2_1_1 n10_a_duplex__1_3_3_2_2->n10_a_duplex__1_3_3_2_2_1 n10_a_duplex__1_4->n10_a_duplex__1_4_1 n10_a_duplex__1_5_1 HV;_Tn_ n10_a_duplex__1_5->n10_a_duplex__1_5_1 n10_a_duplex__1_5_2 NP-OB1 n10_a_duplex__1_5->n10_a_duplex__1_5_2 n10_a_duplex__1_5_1->n10_a_duplex__1_5_1_1 n10_a_duplex__1_5_2_1 Q n10_a_duplex__1_5_2->n10_a_duplex__1_5_2_1 n10_a_duplex__1_5_2_2 N n10_a_duplex__1_5_2->n10_a_duplex__1_5_2_2 n10_a_duplex__1_5_2_3 CP-THT n10_a_duplex__1_5_2->n10_a_duplex__1_5_2_3 n10_a_duplex__1_5_2_1->n10_a_duplex__1_5_2_1_1 n10_a_duplex__1_5_2_2->n10_a_duplex__1_5_2_2_1 n10_a_duplex__1_5_2_3_1 IP-SUB n10_a_duplex__1_5_2_3->n10_a_duplex__1_5_2_3_1 n10_a_duplex__1_5_2_3_1_1 NP-SBJ n10_a_duplex__1_5_2_3_1->n10_a_duplex__1_5_2_3_1_1 n10_a_duplex__1_5_2_3_1_2 BEP;_cat_Vg_ n10_a_duplex__1_5_2_3_1->n10_a_duplex__1_5_2_3_1_2 n10_a_duplex__1_5_2_3_1_3 IP-PPL-CAT n10_a_duplex__1_5_2_3_1->n10_a_duplex__1_5_2_3_1_3 n10_a_duplex__1_5_2_3_1_1_1 PRO n10_a_duplex__1_5_2_3_1_1->n10_a_duplex__1_5_2_3_1_1_1 n10_a_duplex__1_5_2_3_1_1_1->n10_a_duplex__1_5_2_3_1_1_1_1 n10_a_duplex__1_5_2_3_1_2->n10_a_duplex__1_5_2_3_1_2_1 n10_a_duplex__1_5_2_3_1_3_1 VAG;_Ipr_ n10_a_duplex__1_5_2_3_1_3->n10_a_duplex__1_5_2_3_1_3_1 n10_a_duplex__1_5_2_3_1_3_2 PP-CLR n10_a_duplex__1_5_2_3_1_3->n10_a_duplex__1_5_2_3_1_3_2 n10_a_duplex__1_5_2_3_1_3_1->n10_a_duplex__1_5_2_3_1_3_1_1 n10_a_duplex__1_5_2_3_1_3_2_1 P-ROLE n10_a_duplex__1_5_2_3_1_3_2->n10_a_duplex__1_5_2_3_1_3_2_1 n10_a_duplex__1_5_2_3_1_3_2_2 NP n10_a_duplex__1_5_2_3_1_3_2->n10_a_duplex__1_5_2_3_1_3_2_2 n10_a_duplex__1_5_2_3_1_3_2_1->n10_a_duplex__1_5_2_3_1_3_2_1_1 n10_a_duplex__1_5_2_3_1_3_2_2_1 D n10_a_duplex__1_5_2_3_1_3_2_2->n10_a_duplex__1_5_2_3_1_3_2_2_1 n10_a_duplex__1_5_2_3_1_3_2_2_2 N n10_a_duplex__1_5_2_3_1_3_2_2->n10_a_duplex__1_5_2_3_1_3_2_2_2 n10_a_duplex__1_5_2_3_1_3_2_2_1->n10_a_duplex__1_5_2_3_1_3_2_2_1_1 n10_a_duplex__1_5_2_3_1_3_2_2_2->n10_a_duplex__1_5_2_3_1_3_2_2_2_1 n10_a_duplex__1_6->n10_a_duplex__1_6_1 
( (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))