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,
? [Z_22_A_POTTER_1902_23,R_22_2_BEGAN_TO_TURN,R_22_1_HE,R_22_5_THEM,R_22_6_OVER,R_22_7_CAREFULLY] :
( he(R_22_1_HE)
& them(R_22_5_THEM)
& over(R_22_6_OVER)
& carefully(R_22_7_CAREFULLY)
& ! [Z_22_A_POTTER_1902_30] :
( true
=> ? [R_22_9_LOOKING] :
( looking(R_22_9_LOOKING,R_22_1_HE)
& under_clr30(R_22_9_LOOKING,Z_22_A_POTTER_1902_30) ) )
& conj1(CONJ1)
& z_22_a_potter_1902_23(Z_22_A_POTTER_1902_23)
& conj2(Z_22_A_POTTER_1902_23,R_22_2_BEGAN_TO_TURN)
& began_to_turn(R_22_2_BEGAN_TO_TURN,R_22_1_HE,R_22_5_THEM)
& clr15(R_22_2_BEGAN_TO_TURN,R_22_6_OVER)
& nim18(R_22_2_BEGAN_TO_TURN,R_22_7_CAREFULLY) ) ).
( (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))