Christian groups protest eXXXotica.
people protest the exxxotica in all times.
Christian groups protest eXXXotica does not indicate that  people protest the exxxotica in all times.
exists s1 s2 s3 x1 x2.(ne_nam_exxxotica(s1) & a_.(s3) & Theme(s3,s1) & of(s1,x2) & n_protest(x2) & of(s1,x1) & n_group(x1) & a_christian(s2) & Theme(s2,s1) & a_topic(s1))
exists x1 x2.(n_exxxotica(x2) & all x3.(n_time(x3) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_protest(e1) & in(x2,x3))) & n_people(x1))