Audiences enjoy a lively Spanish-language musical performance.
The audience doesn't like Spanish musicals.
An audience that doesn't like Spanish musicals would not be enjoying a Spanish musical.
exists e1 s1 s2 s3 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_performance(x2) & a_musical(s3) & Theme(s3,x2) & a_spanish-language(s2) & Theme(s2,x2) & a_lively(s1) & Theme(s1,x2) & n_audience(x1))
exists x1.(n_audience(x1) & -exists e1 s1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_like(e1) & n_musical(x2) & a_spanish(s1) & Theme(s1,x2)))