458_a_dick_1952
Tance looked around curiously, his eyes bright.
arc(r_0458_0002__looked_r_0458_0003__around, r_0458_0001__Tance, arg0).
arc(r_0458_0002__looked_r_0458_0003__around, r_0458_0004__curiously, nim9).
arc(r_0458_0002__looked_r_0458_0003__around, r_0458_0007__eyes, nim14).
arc(r_0458_0007__eyes, r_0458_0001__Tance, gen).
arc(r_0458_0007__eyes, r_0458_0008__bright, attrib20).
fof(formula,axiom,
? [R_458_2_LOOKED_AROUND,R_458_7_EYES,R_458_8_BRIGHT,R_458_1_TANCE,R_458_4_CURIOUSLY] :
( bright(R_458_8_BRIGHT)
& tance(R_458_1_TANCE)
& curiously(R_458_4_CURIOUSLY)
& looked_around(R_458_2_LOOKED_AROUND,R_458_1_TANCE)
& nim14(R_458_2_LOOKED_AROUND,R_458_7_EYES)
& eyes(R_458_7_EYES)
& attrib20(R_458_7_EYES,R_458_8_BRIGHT)
& gen(R_458_7_EYES,R_458_1_TANCE)
& nim9(R_458_2_LOOKED_AROUND,R_458_4_CURIOUSLY) ) ).
( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
(VBD;_phr_Vp_ looked;{look[around]})
(RP around;{around})
(ADVP-NIM (ADV curiously;{curiously}))
(PUNC ,)
(NP-NIM (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
(NS eyes;{eye})
(ADJP (ADJ bright;{bright})))
(PUNC .))
(ID 458_a_dick_1952))