27_a_potter_1902
Peter sat down to rest; he was out of breath trembling with fright, and he had not the least idea which way to go.
arc(r_0027_0002__sat, r_0027_0001__Peter, arg0).
arc(r_0027_0002__sat, r_0027_0003__down, clr9).
arc(r_0027_0004__to_r_0027_0005__rest, r_0027_0001__Peter, arg0).
arc(r_0027_0008__was, r_0027_0001__Peter, arg0).
arc(r_0027_0008__was, r_0027_0010__breath, r_0027_0009__out_of_clr32).
arc(r_0027_0011__trembling, r_0027_0001__Peter, arg0).
arc(r_0027_0011__trembling, r_0027_0013__fright, r_0027_0012__with_nim42).
arc(r_0027_0015__and, r_0027_0018__not, conj2).
arc(r_0027_0015__and, z_000_27_a_potter_1902_35, conj1).
arc(r_0027_0017__had, r_0027_0001__Peter, arg0).
arc(r_0027_0017__had, r_0027_0019__the_r_0027_0021__idea, arg1).
arc(r_0027_0018__not, r_0027_0017__had, keep_scope).
arc(r_0027_0019__the_r_0027_0021__idea, r_0027_0020__least, attrib61).
arc(r_0027_0019__the_r_0027_0021__idea, r_0027_0024__to_r_0027_0025__go, emb67).
arc(r_0027_0024__to_r_0027_0025__go, r_0027_0022__which_r_0027_0023__way, nim68).
arc(r_0027_0024__to_r_0027_0025__go, z_000_27_a_potter_1902_67, arg0).
arc(z_000_27_a_potter_1902_12, r_0027_0002__sat, scope).
arc(z_000_27_a_potter_1902_12, r_0027_0004__to_r_0027_0005__rest, restriction).
arc(z_000_27_a_potter_1902_2, r_0027_0015__and, conj2).
arc(z_000_27_a_potter_1902_2, z_000_27_a_potter_1902_12, conj1).
arc(z_000_27_a_potter_1902_35, r_0027_0008__was, scope).
arc(z_000_27_a_potter_1902_35, r_0027_0011__trembling, restriction).
fof(formula,axiom,
? [Z_27_A_POTTER_1902_2,Z_27_A_POTTER_1902_12,R_27_4_TO_REST,R_27_2_SAT,R_27_3_DOWN,R_27_15_AND,Z_27_A_POTTER_1902_35,R_27_11_TREMBLING,R_27_13_FRIGHT,R_27_8_WAS,R_27_1_PETER,R_27_10_BREATH] :
( down(R_27_3_DOWN)
& fright(R_27_13_FRIGHT)
& peter(R_27_1_PETER)
& breath(R_27_10_BREATH)
& z_27_a_potter_1902_2(Z_27_A_POTTER_1902_2)
& conj1(Z_27_A_POTTER_1902_2,Z_27_A_POTTER_1902_12)
& z_27_a_potter_1902_12(Z_27_A_POTTER_1902_12)
& conj1(Z_27_A_POTTER_1902_12,R_27_4_TO_REST)
& to_rest(R_27_4_TO_REST,R_27_1_PETER)
& conj2(Z_27_A_POTTER_1902_12,R_27_2_SAT)
& sat(R_27_2_SAT,R_27_1_PETER)
& clr9(R_27_2_SAT,R_27_3_DOWN)
& conj2(Z_27_A_POTTER_1902_2,R_27_15_AND)
& and(R_27_15_AND)
& conj1(R_27_15_AND,Z_27_A_POTTER_1902_35)
& z_27_a_potter_1902_35(Z_27_A_POTTER_1902_35)
& conj1(Z_27_A_POTTER_1902_35,R_27_11_TREMBLING)
& trembling(R_27_11_TREMBLING,R_27_1_PETER)
& with_nim42(R_27_11_TREMBLING,R_27_13_FRIGHT)
& conj2(Z_27_A_POTTER_1902_35,R_27_8_WAS)
& was(R_27_8_WAS,R_27_1_PETER)
& out_of_clr32(R_27_8_WAS,R_27_10_BREATH)
& conj2(R_27_15_AND,R_27_18_NOT)
& ~ ? [R_27_17_HAD,R_27_19_THE_IDEA,R_27_20_LEAST,R_27_24_TO_GO,Z_27_A_POTTER_1902_67,R_27_22_WHICH_WAY] :
( least(R_27_20_LEAST)
& which_way(R_27_22_WHICH_WAY)
& had(R_27_17_HAD,R_27_1_PETER,R_27_19_THE_IDEA)
& the_idea(R_27_19_THE_IDEA)
& attrib61(R_27_19_THE_IDEA,R_27_20_LEAST)
& emb67(R_27_19_THE_IDEA,R_27_24_TO_GO)
& to_go(R_27_24_TO_GO,Z_27_A_POTTER_1902_67)
& nim68(R_27_24_TO_GO,R_27_22_WHICH_WAY) ) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
(VBD;_Ip_ sat;{sit[down]})
(ADVP-CLR (RP down;{down}))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_I_ rest;{rest}))))
(PUNC ;)
(CONJP (ILYR (ILYR (ILYR (NP-SBJ;{PETER} (PRO he;{he}))
(BED;_Ipr_ was;{be[out_of]})
(PP-CLR (P-ROLE out_of;{out_of})
(NP (N breath;{breath})))
(PP-SCON (IP-PPL2 (VAG;_I_ trembling;{tremble})
(PP-NIM (P-ROLE with;{with})
(NP (N fright;{fright}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{PETER} (PRO he;{he}))
(HVD;_Tn_ had;{have})
(NEG not;{not})
(NP-OB1 (D the;{the})
(ADJP (ADJS least;{least}))
(N idea;{idea})
(CP-QUE (IP-INF3 (NP-NIM (WD which;{which})
(N way;{way}))
(TO to;{to})
(VB;_I_ go;{go}))))))))))
(PUNC .))
(ID 27_a_potter_1902))