A tall, light brown dog is drinking water from atop a table while a small black dog jumps off the table.
The two dogs are brother and sister, and they are nearly inseparable.
The two dogs may not be brother and sister. The two dogs may not necessarily be nearly inseparable
exists e1 s1 s2 s3 s4 s5 s6 x1 x2 x3 x4 x5.(off(e1,x3) & n_table(x3) & n_table(x3) & while(e1,x4) & n_jump(x4) & of(x4,x5) & n_dog(x5) & a_black(s6) & Theme(s6,x4) & a_small(s5) & Theme(s5,x4) & atop(e1,x3) & r_from(e1) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_water(x2) & n_dog(x1) & a_brown(s4) & Theme(s4,x1) & a_light(s3) & Theme(s3,x1) & a_,(s2) & Theme(s2,x1) & a_tall(s1) & Theme(s1,x1))
exists p1 s1 x1.(n_thing(x1) & n_dog(x1) & card_eq_2(x1) & r_nearly(s1) & Theme(s1,x1) & a_inseparable(s1) & exists x2 x3 x4.((x1 = x2) & subset_of(x4,x2) & n_sister(x4) & subset_of(x3,x2) & n_brother(x3)))