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_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 [keep_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_r_0010_0014__talking are talking r_0010_0011__idea->r_0010_0013__are_r_0010_0014__talking [emb] r_0010_0013__are_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_0013__are_r_0010_0014__talking->r_0010_0016__a_r_0010_0017__robot to [clr] 
fof(formula,axiom,
    ? [R_10_1_INDEED] :
      ( indeed(R_10_1_INDEED)
      & ! [R_10_11_IDEA,R_10_13_ARE_TALKING,R_10_3_THE_RECIPIENT,R_10_6_THE_CALL,R_10_16_A_ROBOT] :
          ( ( the_call(R_10_6_THE_CALL)
            & a_robot(R_10_16_A_ROBOT)
            & idea(R_10_11_IDEA)
            & emb31(R_10_11_IDEA,R_10_13_ARE_TALKING)
            & are_talking(R_10_13_ARE_TALKING,R_10_3_THE_RECIPIENT)
            & the_recipient(R_10_3_THE_RECIPIENT)
            & of(R_10_3_THE_RECIPIENT,R_10_6_THE_CALL)
            & to_clr43(R_10_13_ARE_TALKING,R_10_16_A_ROBOT) )
         => ? [R_10_9_HAVE] : have(R_10_9_HAVE,R_10_3_THE_RECIPIENT,R_10_11_IDEA) ) ) ).


n10_a_duplex n10_a_duplex_4 Indeed n10_a_duplex_6 , n10_a_duplex_9 the n10_a_duplex_11 recipient n10_a_duplex_14 of n10_a_duplex_17 the n10_a_duplex_19 call n10_a_duplex_21 may n10_a_duplex_24 have n10_a_duplex_27 no n10_a_duplex_29 idea n10_a_duplex_34 they n10_a_duplex_36 are n10_a_duplex_39 talking n10_a_duplex_42 to n10_a_duplex_45 a n10_a_duplex_47 robot n10_a_duplex_49 . n10_a_duplex_1 IP-MAT n10_a_duplex_2 ADVP-NIM n10_a_duplex_1->n10_a_duplex_2 n10_a_duplex_5 PUNC n10_a_duplex_1->n10_a_duplex_5 n10_a_duplex_7 NP-SBJ n10_a_duplex_1->n10_a_duplex_7 n10_a_duplex_20 MD;_cat_Vi_ n10_a_duplex_1->n10_a_duplex_20 n10_a_duplex_22 IP-INF-CAT n10_a_duplex_1->n10_a_duplex_22 n10_a_duplex_48 PUNC n10_a_duplex_1->n10_a_duplex_48 n10_a_duplex_3 ADV n10_a_duplex_2->n10_a_duplex_3 n10_a_duplex_3->n10_a_duplex_4 n10_a_duplex_5->n10_a_duplex_6 n10_a_duplex_8 D n10_a_duplex_7->n10_a_duplex_8 n10_a_duplex_10 N n10_a_duplex_7->n10_a_duplex_10 n10_a_duplex_12 PP n10_a_duplex_7->n10_a_duplex_12 n10_a_duplex_8->n10_a_duplex_9 n10_a_duplex_10->n10_a_duplex_11 n10_a_duplex_13 P-ROLE n10_a_duplex_12->n10_a_duplex_13 n10_a_duplex_15 NP n10_a_duplex_12->n10_a_duplex_15 n10_a_duplex_13->n10_a_duplex_14 n10_a_duplex_16 D n10_a_duplex_15->n10_a_duplex_16 n10_a_duplex_18 N n10_a_duplex_15->n10_a_duplex_18 n10_a_duplex_16->n10_a_duplex_17 n10_a_duplex_18->n10_a_duplex_19 n10_a_duplex_20->n10_a_duplex_21 n10_a_duplex_23 HV;_Tn_ n10_a_duplex_22->n10_a_duplex_23 n10_a_duplex_25 NP-OB1 n10_a_duplex_22->n10_a_duplex_25 n10_a_duplex_23->n10_a_duplex_24 n10_a_duplex_26 Q n10_a_duplex_25->n10_a_duplex_26 n10_a_duplex_28 N n10_a_duplex_25->n10_a_duplex_28 n10_a_duplex_30 CP-THT n10_a_duplex_25->n10_a_duplex_30 n10_a_duplex_26->n10_a_duplex_27 n10_a_duplex_28->n10_a_duplex_29 n10_a_duplex_31 IP-SUB n10_a_duplex_30->n10_a_duplex_31 n10_a_duplex_32 NP-SBJ n10_a_duplex_31->n10_a_duplex_32 n10_a_duplex_35 BEP;_cat_Vg_ n10_a_duplex_31->n10_a_duplex_35 n10_a_duplex_37 IP-PPL-CAT n10_a_duplex_31->n10_a_duplex_37 n10_a_duplex_33 PRO n10_a_duplex_32->n10_a_duplex_33 n10_a_duplex_33->n10_a_duplex_34 n10_a_duplex_35->n10_a_duplex_36 n10_a_duplex_38 VAG;_Ipr_ n10_a_duplex_37->n10_a_duplex_38 n10_a_duplex_40 PP-CLR n10_a_duplex_37->n10_a_duplex_40 n10_a_duplex_38->n10_a_duplex_39 n10_a_duplex_41 P-ROLE n10_a_duplex_40->n10_a_duplex_41 n10_a_duplex_43 NP n10_a_duplex_40->n10_a_duplex_43 n10_a_duplex_41->n10_a_duplex_42 n10_a_duplex_44 D n10_a_duplex_43->n10_a_duplex_44 n10_a_duplex_46 N n10_a_duplex_43->n10_a_duplex_46 n10_a_duplex_44->n10_a_duplex_45 n10_a_duplex_46->n10_a_duplex_47 n10_a_duplex_48->n10_a_duplex_49 
( (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))