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,
? [R_0027_0001__PETER,R_0027_0010__BREATH,R_0027_0008__WAS,R_0027_0013__FRIGHT,R_0027_0011__TREMBLING,Z_000_27_A_POTTER_1902_35,R_0027_0015__AND,R_0027_0003__DOWN,R_0027_0002__SAT,R_0027_0004__TO_R_0027_0005__REST,Z_000_27_A_POTTER_1902_12,Z_000_27_A_POTTER_1902_2] :
( r_0027_0001__Peter(R_0027_0001__PETER)
& r_0027_0003__down(R_0027_0003__DOWN)
& r_0027_0010__breath(R_0027_0010__BREATH)
& r_0027_0013__fright(R_0027_0013__FRIGHT)
& z_000_27_a_potter_1902_2(Z_000_27_A_POTTER_1902_2)
& has_conj1(Z_000_27_A_POTTER_1902_2,Z_000_27_A_POTTER_1902_12)
& z_000_27_a_potter_1902_12(Z_000_27_A_POTTER_1902_12)
& has_conj1(Z_000_27_A_POTTER_1902_12,R_0027_0004__TO_R_0027_0005__REST)
& r_0027_0004__to_r_0027_0005__rest(R_0027_0004__TO_R_0027_0005__REST)
& has_arg0(R_0027_0004__TO_R_0027_0005__REST,R_0027_0001__PETER)
& has_conj2(Z_000_27_A_POTTER_1902_12,R_0027_0002__SAT)
& r_0027_0002__sat(R_0027_0002__SAT)
& has_clr9(R_0027_0002__SAT,R_0027_0003__DOWN)
& has_arg0(R_0027_0002__SAT,R_0027_0001__PETER)
& has_conj2(Z_000_27_A_POTTER_1902_2,R_0027_0015__AND)
& r_0027_0015__and(R_0027_0015__AND)
& has_conj1(R_0027_0015__AND,Z_000_27_A_POTTER_1902_35)
& z_000_27_a_potter_1902_35(Z_000_27_A_POTTER_1902_35)
& has_conj1(Z_000_27_A_POTTER_1902_35,R_0027_0011__TREMBLING)
& r_0027_0011__trembling(R_0027_0011__TREMBLING)
& has_r_0027_0012__with_nim42(R_0027_0011__TREMBLING,R_0027_0013__FRIGHT)
& has_arg0(R_0027_0011__TREMBLING,R_0027_0001__PETER)
& has_conj2(Z_000_27_A_POTTER_1902_35,R_0027_0008__WAS)
& r_0027_0008__was(R_0027_0008__WAS)
& has_r_0027_0009__out_of_clr32(R_0027_0008__WAS,R_0027_0010__BREATH)
& has_arg0(R_0027_0008__WAS,R_0027_0001__PETER)
& has_conj2(R_0027_0015__AND,R_0027_0018__NOT)
& ~ ? [R_0027_0020__LEAST,R_0027_0022__WHICH_R_0027_0023__WAY,Z_000_27_A_POTTER_1902_67,R_0027_0024__TO_R_0027_0025__GO,R_0027_0019__THE_R_0027_0021__IDEA,R_0027_0017__HAD] :
( r_0027_0020__least(R_0027_0020__LEAST)
& r_0027_0022__which_r_0027_0023__way(R_0027_0022__WHICH_R_0027_0023__WAY)
& z_000_27_a_potter_1902_67(Z_000_27_A_POTTER_1902_67)
& r_0027_0017__had(R_0027_0017__HAD)
& has_arg1(R_0027_0017__HAD,R_0027_0019__THE_R_0027_0021__IDEA)
& r_0027_0019__the_r_0027_0021__idea(R_0027_0019__THE_R_0027_0021__IDEA)
& has_emb67(R_0027_0019__THE_R_0027_0021__IDEA,R_0027_0024__TO_R_0027_0025__GO)
& r_0027_0024__to_r_0027_0025__go(R_0027_0024__TO_R_0027_0025__GO)
& has_arg0(R_0027_0024__TO_R_0027_0025__GO,Z_000_27_A_POTTER_1902_67)
& has_nim68(R_0027_0024__TO_R_0027_0025__GO,R_0027_0022__WHICH_R_0027_0023__WAY)
& has_attrib61(R_0027_0019__THE_R_0027_0021__IDEA,R_0027_0020__LEAST)
& has_arg0(R_0027_0017__HAD,R_0027_0001__PETER) ) ) ).
( (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))