123_a_dick_1952
They were well aimed, perfectly aimed.
( (IP-MAT (NP-SBJ;{SHELL1+SHELL2} (PRO They;{they}))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(ADVP-NIM (ADV well;{well}))
(VVN;_Tn_ aimed;{aim})
(PUNC ,)
(REP (ILYR (ADVP-NIM (ADV perfectly;{perfectly}))
(VVN;_Tn_ aimed;{aim}))))
(PUNC .))
(ID 123_a_dick_1952))
arc(r_0123_0002__were,r_0123_0004__aimed,scope).
arc(r_0123_0004__aimed,r_0123_0001__They,arg1).
arc(r_0123_0004__aimed,r_0123_0003__well,nim).
arc(r_0123_0004__aimed,z_0123_5003___star_,arg0).
fof(formula,axiom,
? [R_0123_0001__THEY,R_0123_0003__WELL,Z_0123_5003___STAR_,R_0123_0002__WERE_R_0123_0004__AIMED] :
( r_0123_0001__They(R_0123_0001__THEY)
& r_0123_0003__well(R_0123_0003__WELL)
& z_0123_5003___star_(Z_0123_5003___STAR_)
& r_0123_0002__were_r_0123_0004__aimed(R_0123_0002__WERE_R_0123_0004__AIMED)
& has_arg0(R_0123_0002__WERE_R_0123_0004__AIMED,Z_0123_5003___STAR_)
& has_nim(R_0123_0002__WERE_R_0123_0004__AIMED,R_0123_0003__WELL)
& has_arg1(R_0123_0002__WERE_R_0123_0004__AIMED,R_0123_0001__THEY) ) ).