45_a_potter_1902
Peter thought it best to go away without speaking to her;
arc(r_0045_0002__thought, r_0045_0001__Peter, arg0).
arc(r_0045_0002__thought, r_0045_0004__best, prd).
arc(r_0045_0002__thought, r_0045_0005__to_r_0045_0006__go, arg1).
arc(r_0045_0005__to_r_0045_0006__go, r_0045_0007__away, clr18).
arc(r_0045_0005__to_r_0045_0006__go, r_0045_0009__speaking, r_0045_0008__without_nim24).
arc(r_0045_0005__to_r_0045_0006__go, z_000_45_a_potter_1902_7, arg0).
arc(r_0045_0009__speaking, r_0045_0011__her, r_0045_0010__to_clr30).
arc(r_0045_0009__speaking, z_000_45_a_potter_1902_24, arg0).
fof(formula,axiom,
? [R_45_2_THOUGHT,R_45_1_PETER,R_45_5_TO_GO,Z_45_A_POTTER_1902_7,R_45_7_AWAY,R_45_9_SPEAKING,Z_45_A_POTTER_1902_24,R_45_11_HER,R_45_4_BEST] :
( peter(R_45_1_PETER)
& away(R_45_7_AWAY)
& her(R_45_11_HER)
& best(R_45_4_BEST)
& thought(R_45_2_THOUGHT,R_45_1_PETER,R_45_5_TO_GO,R_45_4_BEST)
& to_go(R_45_5_TO_GO,Z_45_A_POTTER_1902_7)
& clr18(R_45_5_TO_GO,R_45_7_AWAY)
& without_nim24(R_45_5_TO_GO,R_45_9_SPEAKING)
& speaking(R_45_9_SPEAKING,Z_45_A_POTTER_1902_24)
& to_clr30(R_45_9_SPEAKING,R_45_11_HER) ) ).
( (IP-MAT (NP-SBJ;{PETER} (NPR Peter;{Peter}))
(VBD;_Cn.a_ thought;{think})
(NP-OB1 (PRO;_provisional_ it;{it}))
(ADJP-PRD (ADJS best;{good}))
(IP-INF3-NOB1 (TO to;{to})
(VB;_Ip_ go;{go[away]})
(ADVP-CLR (ADV away;{away}))
(PP-NIM (P-ROLE without;{without})
(IP-PPL2 (VAG;_Ipr_ speaking;{speak[to]})
(PP-CLR (P-ROLE to;{to})
(NP;{WHITE_CAT} (PRO her;{her}))))))
(PUNC ;))
(ID 45_a_potter_1902))