The animals do not look aggressive.
The animals are in fact friendly.
Sentence 1: The animals do not look aggressive. Sentence 2: The animals are in fact friendly.
exists x1.(n_animal(x1) & -exists e1 p1.(exists s1.(Theme(s1,x1) & a_aggressive(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_look(e1)))
exists p1 x1.(n_animal(x1) & exists s1 x2 x3.(in(x1,x2) & Theme(s1,x3) & a_friendly(s1) & (x2 = x3) & n_fact(x2)))