Umpire brushes off home plate.
It is the bottom of the ninth inning.
Just because an umpires brushes off home plate does not mean it is the bottom of the ninth inning. It might be the top of the 3rd inning.
exists e1 s1 x1 x2 x3.(ne_nam_umpire(x1) & a_off(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_brush(e1) & n_plate(x2) & of(x2,x3) & n_home(x3))
exists p1 s1 x1 x2 x3.(n_inning(x3) & a_ninth(s1) & Theme(s1,x3) & n_bottom(x2) & n_thing(x1) & (x1 = x2) & of(x2,x3))