premise: A maintenance worker walking past a statue.
hypothesis: worker walking by a statue
explanation_1: Walking past a statue is the same thing as walking by a statue.
explanation_2: Maintenance worker is a type of worker, and walking past means walking by.
explanation_3: A maintenance person walking past a statue.
premise_logic: exists e1 x1 x2 x3 x4.(a_topic(x1) & past(e1,x4) & n_statue(x4) & Actor(e1,x3) & v_walk(e1) & (x1 = x3) & n_worker(x1) & of(x1,x2) & n_maintenance(x2))
hypothesis_logic: exists x1 x2 x3.(a_topic(x1) & by(x1,x3) & n_statue(x3) & n_walking(x1) & of(x1,x2) & n_worker(x2))
premise_sim: exists e1 x1 x2 x3 x4.(v_walk(e1) & past(e1,x4) & of(x1,x2) & n_worker(x1) & n_statue(x4) & n_maintenance(x2) & a_topic(x1) & Actor(e1,x3) & (x1 = x3))
hypothesis_sim: exists x1 x2 x3.(of(x1,x2) & n_worker(x2) & n_walking(x1) & n_statue(x3) & by(x1,x3) & a_topic(x1))