225_a_dick_1952
All three of them stood together.
( (IP-MAT (NP-SBJ (Q All;{all})
(NUM three;{three})
(PP (P-ROLE of;{of})
(NP;{DORLE+NASHA+TANCE} (PRO them;{they}))))
(VBD;_Ip_ stood;{stand[together]})
(ADVP-CLR (ADV together;{together}))
(PUNC .))
(ID 225_a_dick_1952))
arc(r_0225_0001__All__quant,r_0225_0002__three,restriction).
arc(r_0225_0001__All__quant,r_0225_0005__stood_r_0225_0006__together,scope).
arc(r_0225_0002__three,r_0225_0004__them,r_0225_0003__of).
arc(r_0225_0005__stood_r_0225_0006__together,r_0225_0002__three,arg0).
fof(formula,axiom,
! [R_0225_0002__THREE,R_0225_0004__THEM] :
( ( r_0225_0004__them(R_0225_0004__THEM)
& r_0225_0002__three(R_0225_0002__THREE)
& has_r_0225_0003__of(R_0225_0002__THREE,R_0225_0004__THEM) )
=> ? [R_0225_0005__STOOD_R_0225_0006__TOGETHER] :
( r_0225_0005__stood_r_0225_0006__together(R_0225_0005__STOOD_R_0225_0006__TOGETHER)
& has_arg0(R_0225_0005__STOOD_R_0225_0006__TOGETHER,R_0225_0002__THREE) ) ) ).