premise: An medical worker examines a young girl.
hypothesis: A health worker is evaluating a girl.
explanation_1: A worker who examines a girl is evaluating her.
explanation_2: A medical worker and a health worker are the same thing, evaluating and examining are the same thing.
explanation_3: A medical worker is a health worker. Evaluating and examining are synonyms.
premise_logic: exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_examine(e1) & n_girl(x2) & a_young(s2) & Theme(s2,x2) & n_worker(x1) & a_medical(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_evaluate(e1) & n_girl(x3) & n_worker(x1) & of(x1,x2) & n_health(x2))
premise_sim: exists e1 s1 s2 x1 x2.(v_examine(e1) & n_worker(x1) & n_girl(x2) & a_young(s2) & a_medical(s1) & Theme(s2,x2) & Theme(s1,x1) & Theme(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x3.(v_evaluate(e1) & of(x1,x2) & n_worker(x1) & n_health(x2) & n_girl(x3) & Theme(e1,x3) & Actor(e1,x1))