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_0006__to_r_0006_0007__write to write r_0006_0012__this this r_0006_0006__to_r_0006_0007__write->r_0006_0012__this about [nim] 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_0001__Your Your r_0006_0006__to_r_0006_0007__write->r_0006_0001__Your [arg0] r_0006_0003__has_r_0006_0004__asked has asked r_0006_0003__has_r_0006_0004__asked->r_0006_0006__to_r_0006_0007__write [arg1] r_0006_0003__has_r_0006_0004__asked->r_0006_0001__Your [arg2] r_0006_0002__class class r_0006_0003__has_r_0006_0004__asked->r_0006_0002__class [arg0] r_0006_0002__class->r_0006_0001__Your [gen] 
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__1_1_1_1_1 Your n6_a_fce_0100_2000_12__1_1_2_1 class n6_a_fce_0100_2000_12__1_2_1 has n6_a_fce_0100_2000_12__1_3_1_1 asked n6_a_fce_0100_2000_12__1_3_2_1_1 you n6_a_fce_0100_2000_12__1_3_3_1_1 to n6_a_fce_0100_2000_12__1_3_3_2_1 write n6_a_fce_0100_2000_12__1_3_3_3_1_1 to n6_a_fce_0100_2000_12__1_3_3_3_2_1_1 Mr n6_a_fce_0100_2000_12__1_3_3_3_2_2_1 Robertson n6_a_fce_0100_2000_12__1_3_3_4_1_1 about n6_a_fce_0100_2000_12__1_3_3_4_2_1_1 this n6_a_fce_0100_2000_12__1_4_1 . n6_a_fce_0100_2000_12__1 IP-MAT n6_a_fce_0100_2000_12__1_1 NP-SBJ n6_a_fce_0100_2000_12__1->n6_a_fce_0100_2000_12__1_1 n6_a_fce_0100_2000_12__1_2 HVP;_cat_Ve_ n6_a_fce_0100_2000_12__1->n6_a_fce_0100_2000_12__1_2 n6_a_fce_0100_2000_12__1_3 IP-PPL-CAT n6_a_fce_0100_2000_12__1->n6_a_fce_0100_2000_12__1_3 n6_a_fce_0100_2000_12__1_4 PUNC n6_a_fce_0100_2000_12__1->n6_a_fce_0100_2000_12__1_4 n6_a_fce_0100_2000_12__1_1_1 NP-GEN n6_a_fce_0100_2000_12__1_1->n6_a_fce_0100_2000_12__1_1_1 n6_a_fce_0100_2000_12__1_1_2 N n6_a_fce_0100_2000_12__1_1->n6_a_fce_0100_2000_12__1_1_2 n6_a_fce_0100_2000_12__1_1_1_1 PRO;_genm_ n6_a_fce_0100_2000_12__1_1_1->n6_a_fce_0100_2000_12__1_1_1_1 n6_a_fce_0100_2000_12__1_1_1_1->n6_a_fce_0100_2000_12__1_1_1_1_1 n6_a_fce_0100_2000_12__1_1_2->n6_a_fce_0100_2000_12__1_1_2_1 n6_a_fce_0100_2000_12__1_2->n6_a_fce_0100_2000_12__1_2_1 n6_a_fce_0100_2000_12__1_3_1 VVN;_Dn.t_ n6_a_fce_0100_2000_12__1_3->n6_a_fce_0100_2000_12__1_3_1 n6_a_fce_0100_2000_12__1_3_2 NP-OB2 n6_a_fce_0100_2000_12__1_3->n6_a_fce_0100_2000_12__1_3_2 n6_a_fce_0100_2000_12__1_3_3 IP-INF-OB1 n6_a_fce_0100_2000_12__1_3->n6_a_fce_0100_2000_12__1_3_3 n6_a_fce_0100_2000_12__1_3_1->n6_a_fce_0100_2000_12__1_3_1_1 n6_a_fce_0100_2000_12__1_3_2_1 PRO n6_a_fce_0100_2000_12__1_3_2->n6_a_fce_0100_2000_12__1_3_2_1 n6_a_fce_0100_2000_12__1_3_2_1->n6_a_fce_0100_2000_12__1_3_2_1_1 n6_a_fce_0100_2000_12__1_3_3_1 TO n6_a_fce_0100_2000_12__1_3_3->n6_a_fce_0100_2000_12__1_3_3_1 n6_a_fce_0100_2000_12__1_3_3_2 VB;_Ipr_ n6_a_fce_0100_2000_12__1_3_3->n6_a_fce_0100_2000_12__1_3_3_2 n6_a_fce_0100_2000_12__1_3_3_3 PP-CLR n6_a_fce_0100_2000_12__1_3_3->n6_a_fce_0100_2000_12__1_3_3_3 n6_a_fce_0100_2000_12__1_3_3_4 PP-NIM n6_a_fce_0100_2000_12__1_3_3->n6_a_fce_0100_2000_12__1_3_3_4 n6_a_fce_0100_2000_12__1_3_3_1->n6_a_fce_0100_2000_12__1_3_3_1_1 n6_a_fce_0100_2000_12__1_3_3_2->n6_a_fce_0100_2000_12__1_3_3_2_1 n6_a_fce_0100_2000_12__1_3_3_3_1 P-ROLE n6_a_fce_0100_2000_12__1_3_3_3->n6_a_fce_0100_2000_12__1_3_3_3_1 n6_a_fce_0100_2000_12__1_3_3_3_2 NP n6_a_fce_0100_2000_12__1_3_3_3->n6_a_fce_0100_2000_12__1_3_3_3_2 n6_a_fce_0100_2000_12__1_3_3_3_1->n6_a_fce_0100_2000_12__1_3_3_3_1_1 n6_a_fce_0100_2000_12__1_3_3_3_2_1 NPR n6_a_fce_0100_2000_12__1_3_3_3_2->n6_a_fce_0100_2000_12__1_3_3_3_2_1 n6_a_fce_0100_2000_12__1_3_3_3_2_2 NPR n6_a_fce_0100_2000_12__1_3_3_3_2->n6_a_fce_0100_2000_12__1_3_3_3_2_2 n6_a_fce_0100_2000_12__1_3_3_3_2_1->n6_a_fce_0100_2000_12__1_3_3_3_2_1_1 n6_a_fce_0100_2000_12__1_3_3_3_2_2->n6_a_fce_0100_2000_12__1_3_3_3_2_2_1 n6_a_fce_0100_2000_12__1_3_3_4_1 P-ROLE n6_a_fce_0100_2000_12__1_3_3_4->n6_a_fce_0100_2000_12__1_3_3_4_1 n6_a_fce_0100_2000_12__1_3_3_4_2 NP n6_a_fce_0100_2000_12__1_3_3_4->n6_a_fce_0100_2000_12__1_3_3_4_2 n6_a_fce_0100_2000_12__1_3_3_4_1->n6_a_fce_0100_2000_12__1_3_3_4_1_1 n6_a_fce_0100_2000_12__1_3_3_4_2_1 D;_nphd_ n6_a_fce_0100_2000_12__1_3_3_4_2->n6_a_fce_0100_2000_12__1_3_3_4_2_1 n6_a_fce_0100_2000_12__1_3_3_4_2_1->n6_a_fce_0100_2000_12__1_3_3_4_2_1_1 n6_a_fce_0100_2000_12__1_4->n6_a_fce_0100_2000_12__1_4_1 
( (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))