161_a_wilde_1_1888
“Heave a-hoy!” they shouted as each chest came up.
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (IP-IMP (VB;_I_ Heave;{heave})
(INTJ a_<hyphen>_hoy)
(PUNC !)))
(PURQ <rdquo>)
(NP-SBJ;{SAILORS} (PRO they;{they}))
(VBD;_Tr_ shouted;{shout})
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (Q each;{each})
(N chest;{chest}))
(VBD;_Ip_ came;{come[up]})
(RP up;{up})))
(PUNC .))
(ID 161_a_wilde_1_1888))
arc(r_0161_0002__Heave,z_0161_5004,arg0).
arc(r_0161_0007__shouted,r_0161_0006__they,arg0).
arc(r_0161_0007__shouted,z_0161_5002__utterance,arg1).
arc(r_0161_0008__as,r_0161_0007__shouted,scope).
arc(r_0161_0008__as,r_0161_0009__each__quant,restriction).
arc(r_0161_0009__each__quant,r_0161_0010__chest,restriction).
arc(r_0161_0009__each__quant,r_0161_0011__came_r_0161_0012__up,scope).
arc(r_0161_0011__came_r_0161_0012__up,r_0161_0010__chest,arg0).
arc(z_0161_5002__utterance,r_0161_0002__Heave,part1).
fof(formula,axiom,
? [R_0161_0006__THEY,Z_0161_5004,R_0161_0002__HEAVE,Z_0161_5002__UTTERANCE,R_0161_0007__SHOUTED,R_0161_0008__AS] :
( r_0161_0006__they(R_0161_0006__THEY)
& z_0161_5004(Z_0161_5004)
& r_0161_0008__as(R_0161_0008__AS)
& ! [R_0161_0010__CHEST] :
( r_0161_0010__chest(R_0161_0010__CHEST)
=> ? [R_0161_0011__CAME_R_0161_0012__UP] :
( r_0161_0011__came_r_0161_0012__up(R_0161_0011__CAME_R_0161_0012__UP)
& has_arg0(R_0161_0011__CAME_R_0161_0012__UP,R_0161_0010__CHEST) ) )
& has_conj2(R_0161_0008__AS,R_0161_0007__SHOUTED)
& r_0161_0007__shouted(R_0161_0007__SHOUTED)
& has_arg1(R_0161_0007__SHOUTED,Z_0161_5002__UTTERANCE)
& z_0161_5002__utterance(Z_0161_5002__UTTERANCE)
& has_part1(Z_0161_5002__UTTERANCE,R_0161_0002__HEAVE)
& r_0161_0002__Heave(R_0161_0002__HEAVE)
& has_arg0(R_0161_0002__HEAVE,Z_0161_5004)
& has_arg0(R_0161_0007__SHOUTED,R_0161_0006__THEY) ) ).