there pushed to be to used She .
(ROOT_0 (S_0 (ATS_3 (NP_1 (EX_0 there)) (VP_4 (VBD_2 pushed) (S_2 (VP_0 (TO_0 to) (VP_1 (VB_0 be) (S_2 (VP_0 (TO_0 to) (VP_1 (VBN_0 used) (NP_1 (PRP_0 She)))))))))) (DOT_0 .)))