458_a_dick_1952
Tance looked around curiously, his eyes bright.
( (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))
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,nim).
arc(r_0458_0002__looked_r_0458_0003__around,r_0458_0007__eyes,nim).
arc(r_0458_0007__eyes,r_0458_0001__Tance,gen).
arc(r_0458_0007__eyes,r_0458_0008__bright,attrib).
fof(formula,axiom,
? [R_0458_0001__TANCE,R_0458_0004__CURIOUSLY,R_0458_0008__BRIGHT,R_0458_0007__EYES,R_0458_0002__LOOKED_R_0458_0003__AROUND] :
( r_0458_0001__Tance(R_0458_0001__TANCE)
& r_0458_0004__curiously(R_0458_0004__CURIOUSLY)
& r_0458_0008__bright(R_0458_0008__BRIGHT)
& r_0458_0002__looked_r_0458_0003__around(R_0458_0002__LOOKED_R_0458_0003__AROUND)
& has_nim(R_0458_0002__LOOKED_R_0458_0003__AROUND,R_0458_0007__EYES)
& r_0458_0007__eyes(R_0458_0007__EYES)
& has_attrib(R_0458_0007__EYES,R_0458_0008__BRIGHT)
& has_gen(R_0458_0007__EYES,R_0458_0001__TANCE)
& has_nim(R_0458_0002__LOOKED_R_0458_0003__AROUND,R_0458_0004__CURIOUSLY)
& has_arg0(R_0458_0002__LOOKED_R_0458_0003__AROUND,R_0458_0001__TANCE) ) ).