22_a_potter_1902
He began to turn them over carefully, looking under each.
arc(r_0022_0002__began, r_0022_0003__to_r_0022_0004__turn, scope).
arc(r_0022_0003__to_r_0022_0004__turn, r_0022_0001__He, arg0).
arc(r_0022_0003__to_r_0022_0004__turn, r_0022_0005__them, arg1).
arc(r_0022_0003__to_r_0022_0004__turn, r_0022_0006__over, clr15).
arc(r_0022_0003__to_r_0022_0004__turn, r_0022_0007__carefully, nim18).
arc(r_0022_0009__looking, r_0022_0001__He, arg0).
arc(r_0022_0009__looking, z_000_22_a_potter_1902_30, r_0022_0010__under_clr30).
arc(r_0022_0011__each_quant, r_0022_0009__looking, scope).
arc(r_0022_0011__each_quant, z_000_22_a_potter_1902_30, restriction).
arc(z_000_22_a_potter_1902_23, r_0022_0002__began, scope).
arc(z_000_22_a_potter_1902_23, r_0022_0011__each_quant, restriction).
fof(formula,axiom,
? [R_0022_0001__HE,R_0022_0005__THEM,R_0022_0006__OVER,R_0022_0007__CAREFULLY,R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN,Z_000_22_A_POTTER_1902_23] :
( r_0022_0001__He(R_0022_0001__HE)
& r_0022_0005__them(R_0022_0005__THEM)
& r_0022_0006__over(R_0022_0006__OVER)
& r_0022_0007__carefully(R_0022_0007__CAREFULLY)
& z_000_22_a_potter_1902_23(Z_000_22_A_POTTER_1902_23)
& ! [Z_000_22_A_POTTER_1902_30] :
( z_000_22_a_potter_1902_30(Z_000_22_A_POTTER_1902_30)
=> ? [R_0022_0009__LOOKING] :
( r_0022_0009__looking(R_0022_0009__LOOKING)
& has_r_0022_0010__under_clr30(R_0022_0009__LOOKING,Z_000_22_A_POTTER_1902_30)
& has_arg0(R_0022_0009__LOOKING,R_0022_0001__HE) ) )
& has_conj2(Z_000_22_A_POTTER_1902_23,R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN)
& r_0022_0002__began_r_0022_0003__to_r_0022_0004__turn(R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN)
& has_nim18(R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN,R_0022_0007__CAREFULLY)
& has_clr15(R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN,R_0022_0006__OVER)
& has_arg1(R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN,R_0022_0005__THEM)
& has_arg0(R_0022_0002__BEGAN_R_0022_0003__TO_R_0022_0004__TURN,R_0022_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{MRMCG} (PRO He;{he}))
(VBD;_cat_Vt_ began;{begin})
(IP-INF-CAT (TO to;{to})
(VB;_Tn.p_ turn;{turn[over]})
(NP-OB1;{POTS} (PRO them;{they}))
(ADVP-CLR (RP over;{over}))
(ADVP-NIM (ADV carefully;{carefully})))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Ipr_ looking;{look[under]})
(PP-CLR (P-ROLE under;{under})
(NP;{POTS} (Q;_nphd_ each;{each})))))
(PUNC .))
(ID 22_a_potter_1902))