Context                Previous, Next                Top


6_a_fce_0100_2000_12
Your class has asked you to write to Mr Robertson about this.

%3 r_0006_0002__class class r_0006_0001__Your Your r_0006_0002__class->r_0006_0001__Your [gen] r_0006_0003__has has r_0006_0004__asked asked r_0006_0003__has->r_0006_0004__asked [scope] r_0006_0004__asked->r_0006_0002__class [arg0] r_0006_0004__asked->r_0006_0001__Your [arg2] r_0006_0006__to_r_0006_0007__write to write r_0006_0004__asked->r_0006_0006__to_r_0006_0007__write [arg1] r_0006_0006__to_r_0006_0007__write->r_0006_0001__Your [arg0] r_0006_0009__Mr_r_0006_0010__Robertson Mr Robertson r_0006_0006__to_r_0006_0007__write->r_0006_0009__Mr_r_0006_0010__Robertson to [clr] r_0006_0012__this this r_0006_0006__to_r_0006_0007__write->r_0006_0012__this about [nim] 
arc(r_0006_0002__class, r_0006_0001__Your, gen).
arc(r_0006_0003__has, r_0006_0004__asked, scope).
arc(r_0006_0004__asked, r_0006_0001__Your, arg2).
arc(r_0006_0004__asked, r_0006_0002__class, arg0).
arc(r_0006_0004__asked, r_0006_0006__to_r_0006_0007__write, arg1).
arc(r_0006_0006__to_r_0006_0007__write, r_0006_0001__Your, arg0).
arc(r_0006_0006__to_r_0006_0007__write, r_0006_0009__Mr_r_0006_0010__Robertson, r_0006_0008__to_clr24).
arc(r_0006_0006__to_r_0006_0007__write, r_0006_0012__this, r_0006_0011__about_nim32).


%3 r_0006_0002__class class r_0006_0001__Your Your r_0006_0002__class->r_0006_0001__Your [gen] r_0006_0003__has_r_0006_0004__asked has asked r_0006_0003__has_r_0006_0004__asked->r_0006_0002__class [arg0] r_0006_0003__has_r_0006_0004__asked->r_0006_0001__Your [arg2] r_0006_0006__to_r_0006_0007__write to write r_0006_0003__has_r_0006_0004__asked->r_0006_0006__to_r_0006_0007__write [arg1] r_0006_0006__to_r_0006_0007__write->r_0006_0001__Your [arg0] r_0006_0009__Mr_r_0006_0010__Robertson Mr Robertson r_0006_0006__to_r_0006_0007__write->r_0006_0009__Mr_r_0006_0010__Robertson to [clr] r_0006_0012__this this r_0006_0006__to_r_0006_0007__write->r_0006_0012__this about [nim] 
fof(formula,axiom,
    ? [R_6_3_HAS_ASKED,R_6_2_CLASS,R_6_6_TO_WRITE,R_6_9_MR_ROBERTSON,R_6_12_THIS,R_6_1_YOUR] :
      ( mr_Robertson(R_6_9_MR_ROBERTSON)
      & this(R_6_12_THIS)
      & your(R_6_1_YOUR)
      & has_asked(R_6_3_HAS_ASKED,R_6_2_CLASS,R_6_6_TO_WRITE,R_6_1_YOUR)
      & class(R_6_2_CLASS)
      & gen(R_6_2_CLASS,R_6_1_YOUR)
      & to_write(R_6_6_TO_WRITE,R_6_1_YOUR)
      & to_clr24(R_6_6_TO_WRITE,R_6_9_MR_ROBERTSON)
      & about_nim32(R_6_6_TO_WRITE,R_6_12_THIS) ) ).


n6_a_fce_0100_2000_12 n6_a_fce_0100_2000_12_5 Your n6_a_fce_0100_2000_12_7 class n6_a_fce_0100_2000_12_9 has n6_a_fce_0100_2000_12_12 asked n6_a_fce_0100_2000_12_15 you n6_a_fce_0100_2000_12_18 to n6_a_fce_0100_2000_12_20 write n6_a_fce_0100_2000_12_23 to n6_a_fce_0100_2000_12_26 Mr n6_a_fce_0100_2000_12_28 Robertson n6_a_fce_0100_2000_12_31 about n6_a_fce_0100_2000_12_34 this n6_a_fce_0100_2000_12_36 . n6_a_fce_0100_2000_12_1 IP-MAT n6_a_fce_0100_2000_12_2 NP-SBJ n6_a_fce_0100_2000_12_1->n6_a_fce_0100_2000_12_2 n6_a_fce_0100_2000_12_8 HVP;_cat_Ve_ n6_a_fce_0100_2000_12_1->n6_a_fce_0100_2000_12_8 n6_a_fce_0100_2000_12_10 IP-PPL-CAT n6_a_fce_0100_2000_12_1->n6_a_fce_0100_2000_12_10 n6_a_fce_0100_2000_12_35 PUNC n6_a_fce_0100_2000_12_1->n6_a_fce_0100_2000_12_35 n6_a_fce_0100_2000_12_3 NP-GEN n6_a_fce_0100_2000_12_2->n6_a_fce_0100_2000_12_3 n6_a_fce_0100_2000_12_6 N n6_a_fce_0100_2000_12_2->n6_a_fce_0100_2000_12_6 n6_a_fce_0100_2000_12_4 PRO;_genm_ n6_a_fce_0100_2000_12_3->n6_a_fce_0100_2000_12_4 n6_a_fce_0100_2000_12_4->n6_a_fce_0100_2000_12_5 n6_a_fce_0100_2000_12_6->n6_a_fce_0100_2000_12_7 n6_a_fce_0100_2000_12_8->n6_a_fce_0100_2000_12_9 n6_a_fce_0100_2000_12_11 VVN;_Dn.t_ n6_a_fce_0100_2000_12_10->n6_a_fce_0100_2000_12_11 n6_a_fce_0100_2000_12_13 NP-OB2 n6_a_fce_0100_2000_12_10->n6_a_fce_0100_2000_12_13 n6_a_fce_0100_2000_12_16 IP-INF-OB1 n6_a_fce_0100_2000_12_10->n6_a_fce_0100_2000_12_16 n6_a_fce_0100_2000_12_11->n6_a_fce_0100_2000_12_12 n6_a_fce_0100_2000_12_14 PRO n6_a_fce_0100_2000_12_13->n6_a_fce_0100_2000_12_14 n6_a_fce_0100_2000_12_14->n6_a_fce_0100_2000_12_15 n6_a_fce_0100_2000_12_17 TO n6_a_fce_0100_2000_12_16->n6_a_fce_0100_2000_12_17 n6_a_fce_0100_2000_12_19 VB;_Ipr_ n6_a_fce_0100_2000_12_16->n6_a_fce_0100_2000_12_19 n6_a_fce_0100_2000_12_21 PP-CLR n6_a_fce_0100_2000_12_16->n6_a_fce_0100_2000_12_21 n6_a_fce_0100_2000_12_29 PP-NIM n6_a_fce_0100_2000_12_16->n6_a_fce_0100_2000_12_29 n6_a_fce_0100_2000_12_17->n6_a_fce_0100_2000_12_18 n6_a_fce_0100_2000_12_19->n6_a_fce_0100_2000_12_20 n6_a_fce_0100_2000_12_22 P-ROLE n6_a_fce_0100_2000_12_21->n6_a_fce_0100_2000_12_22 n6_a_fce_0100_2000_12_24 NP n6_a_fce_0100_2000_12_21->n6_a_fce_0100_2000_12_24 n6_a_fce_0100_2000_12_22->n6_a_fce_0100_2000_12_23 n6_a_fce_0100_2000_12_25 NPR n6_a_fce_0100_2000_12_24->n6_a_fce_0100_2000_12_25 n6_a_fce_0100_2000_12_27 NPR n6_a_fce_0100_2000_12_24->n6_a_fce_0100_2000_12_27 n6_a_fce_0100_2000_12_25->n6_a_fce_0100_2000_12_26 n6_a_fce_0100_2000_12_27->n6_a_fce_0100_2000_12_28 n6_a_fce_0100_2000_12_30 P-ROLE n6_a_fce_0100_2000_12_29->n6_a_fce_0100_2000_12_30 n6_a_fce_0100_2000_12_32 NP n6_a_fce_0100_2000_12_29->n6_a_fce_0100_2000_12_32 n6_a_fce_0100_2000_12_30->n6_a_fce_0100_2000_12_31 n6_a_fce_0100_2000_12_33 D;_nphd_ n6_a_fce_0100_2000_12_32->n6_a_fce_0100_2000_12_33 n6_a_fce_0100_2000_12_33->n6_a_fce_0100_2000_12_34 n6_a_fce_0100_2000_12_35->n6_a_fce_0100_2000_12_36 
( (IP-MAT (NP-SBJ;{CLASS} (NP-GEN (PRO;_genm_ Your;{your}))
                          (N class;{class}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2 (PRO you;{you}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Ipr_ write;{write[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP;{ROBERTSON} (NPR Mr;{Mr})
                                                          (NPR Robertson;{Robertson})))
                                  (PP-NIM (P-ROLE about;{about})
                                          (NP;{LIKE} (D;_nphd_ this;{this})))))
          (PUNC .))
  (ID 6_a_fce_0100_2000_12))