premise: A police officer is standing with his arms crossed.
hypothesis: A cop is standing up.
explanation_1: A police officer is a cop.
explanation_2: A cop is another word for a police officer.
explanation_3: A police officer standing up can be in any position.
premise_logic: exists e1 e2 x1 x2 x3 x4.(with(e1,x3) & Actor(e2,x4) & v_cross(e2) & (x3 = x4) & n_arm(x3) & of(x3,x1) & n_male(x1) & Actor(e1,x1) & v_stand(e1) & n_officer(x1) & of(x1,x2) & n_police(x2))
hypothesis_logic: exists e1 s1 x1.(a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_stand(e1) & n_cop(x1))