113_a_dick_1952
Nasha paused, rubbing her cheek.
( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
(VBD;_I_ paused;{pause})
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Tn_ rubbing;{rub})
(NP-OB1 (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
(N cheek;{cheek}))))
(PUNC .))
(ID 113_a_dick_1952))
arc(r_0113_0002__paused,r_0113_0001__Nasha,arg0).
arc(r_0113_0004__rubbing,r_0113_0001__Nasha,arg0).
arc(r_0113_0004__rubbing,r_0113_0006__cheek,arg1).
arc(r_0113_0006__cheek,r_0113_0001__Nasha,gen).
arc(z_0113_5001,r_0113_0002__paused,scope).
arc(z_0113_5001,r_0113_0004__rubbing,restriction).
fof(formula,axiom,
? [R_0113_0001__NASHA,R_0113_0002__PAUSED,R_0113_0006__CHEEK,R_0113_0004__RUBBING,Z_0113_5001] :
( r_0113_0001__Nasha(R_0113_0001__NASHA)
& z_0113_5001(Z_0113_5001)
& has_conj1(Z_0113_5001,R_0113_0004__RUBBING)
& r_0113_0004__rubbing(R_0113_0004__RUBBING)
& has_arg1(R_0113_0004__RUBBING,R_0113_0006__CHEEK)
& r_0113_0006__cheek(R_0113_0006__CHEEK)
& has_gen(R_0113_0006__CHEEK,R_0113_0001__NASHA)
& has_arg0(R_0113_0004__RUBBING,R_0113_0001__NASHA)
& has_conj2(Z_0113_5001,R_0113_0002__PAUSED)
& r_0113_0002__paused(R_0113_0002__PAUSED)
& has_arg0(R_0113_0002__PAUSED,R_0113_0001__NASHA) ) ).