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_225_2_THREE,R_225_4_THEM] :
( ( them(R_225_4_THEM)
& three(R_225_2_THREE)
& of(R_225_2_THREE,R_225_4_THEM) )
=> ? [R_225_5_STOOD,R_225_6_TOGETHER] :
( together(R_225_6_TOGETHER)
& stood(R_225_5_STOOD,R_225_2_THREE)
& clr15(R_225_5_STOOD,R_225_6_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))