6_a_fce_0100_2000_12
Your class has asked you to write to Mr Robertson about this.
( (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))
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_0007__write_r_0006_0008__to,arg1).
arc(r_0006_0007__write_r_0006_0008__to,r_0006_0001__Your,arg0).
arc(r_0006_0007__write_r_0006_0008__to,r_0006_0009__Mr_r_0006_0010__Robertson,arg1).
arc(r_0006_0007__write_r_0006_0008__to,r_0006_0012__this,r_0006_0011__about__nim).
fof(formula,axiom,
? [R_0006_0001__YOUR,R_0006_0002__CLASS,R_0006_0009__MR_R_0006_0010__ROBERTSON,R_0006_0012__THIS,R_0006_0007__WRITE_R_0006_0008__TO,R_0006_0003__HAS_R_0006_0004__ASKED] :
( r_0006_0001__Your(R_0006_0001__YOUR)
& r_0006_0009__Mr_r_0006_0010__Robertson(R_0006_0009__MR_R_0006_0010__ROBERTSON)
& r_0006_0012__this(R_0006_0012__THIS)
& r_0006_0003__has_r_0006_0004__asked(R_0006_0003__HAS_R_0006_0004__ASKED)
& has_arg1(R_0006_0003__HAS_R_0006_0004__ASKED,R_0006_0007__WRITE_R_0006_0008__TO)
& r_0006_0007__write_r_0006_0008__to(R_0006_0007__WRITE_R_0006_0008__TO)
& has_r_0006_0011__about__nim(R_0006_0007__WRITE_R_0006_0008__TO,R_0006_0012__THIS)
& has_arg1(R_0006_0007__WRITE_R_0006_0008__TO,R_0006_0009__MR_R_0006_0010__ROBERTSON)
& has_arg0(R_0006_0007__WRITE_R_0006_0008__TO,R_0006_0001__YOUR)
& has_arg0(R_0006_0003__HAS_R_0006_0004__ASKED,R_0006_0002__CLASS)
& r_0006_0002__class(R_0006_0002__CLASS)
& has_gen(R_0006_0002__CLASS,R_0006_0001__YOUR)
& has_arg2(R_0006_0003__HAS_R_0006_0004__ASKED,R_0006_0001__YOUR) ) ).