225_a_dick_1952
All three of them stood together.
arc(r_0225_0001__All_quant, r_0225_0002__three, restriction).
arc(r_0225_0001__All_quant, r_0225_0005__stood, scope).
arc(r_0225_0002__three, r_0225_0004__them, r_0225_0003__of).
arc(r_0225_0005__stood, r_0225_0002__three, arg0).
arc(r_0225_0005__stood, r_0225_0006__together, clr15).
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_0006__TOGETHER,R_0225_0005__STOOD] :
( r_0225_0006__together(R_0225_0006__TOGETHER)
& r_0225_0005__stood(R_0225_0005__STOOD)
& has_clr15(R_0225_0005__STOOD,R_0225_0006__TOGETHER)
& has_arg0(R_0225_0005__STOOD,R_0225_0002__THREE) ) ) ).
( (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))