14_a_dick_1952
He bent down to look, squinting.
arc(r_0014_0002__bent, r_0014_0001__He, arg0).
arc(r_0014_0002__bent, r_0014_0003__down, clr7).
arc(r_0014_0004__to_r_0014_0005__look, r_0014_0001__He, arg0).
arc(r_0014_0007__squinting, r_0014_0001__He, arg0).
arc(z_000_14_a_dick_1952_10, r_0014_0002__bent, scope).
arc(z_000_14_a_dick_1952_10, r_0014_0004__to_r_0014_0005__look, restriction).
arc(z_000_14_a_dick_1952_18, r_0014_0007__squinting, restriction).
arc(z_000_14_a_dick_1952_18, z_000_14_a_dick_1952_10, scope).
fof(formula,axiom,
? [Z_14_A_DICK_1952_18,R_14_7_SQUINTING,Z_14_A_DICK_1952_10,R_14_4_TO_LOOK,R_14_2_BENT,R_14_1_HE,R_14_3_DOWN] :
( he(R_14_1_HE)
& down(R_14_3_DOWN)
& z_14_a_dick_1952_18(Z_14_A_DICK_1952_18)
& conj1(Z_14_A_DICK_1952_18,R_14_7_SQUINTING)
& squinting(R_14_7_SQUINTING,R_14_1_HE)
& conj2(Z_14_A_DICK_1952_18,Z_14_A_DICK_1952_10)
& z_14_a_dick_1952_10(Z_14_A_DICK_1952_10)
& conj1(Z_14_A_DICK_1952_10,R_14_4_TO_LOOK)
& to_look(R_14_4_TO_LOOK,R_14_1_HE)
& conj2(Z_14_A_DICK_1952_10,R_14_2_BENT)
& bent(R_14_2_BENT,R_14_1_HE)
& clr7(R_14_2_BENT,R_14_3_DOWN) ) ).
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
(VBD;_Ip_ bent;{bend[down]})
(ADVP-CLR (RP down;{down}))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;_I_ look;{look})))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_I_ squinting;{squint})))
(PUNC .))
(ID 14_a_dick_1952))