Large black animal is as large as small red car
The animal is small.
an animal can be either large or small, but not both
exists s1 s2 s3 s4 s5 x1 x2.(r_as(s3) & as(s3,x2) & n_car(x2) & a_red(s5) & Theme(s5,x2) & a_small(s4) & Theme(s4,x2) & Theme(s3,x1) & a_large(s3) & n_animal(x1) & a_black(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1))
exists s1 x1.(n_animal(x1) & Theme(s1,x1) & a_small(s1))