A giant billboard of a man's abs
A giant billboard of a woman's abs
A man's abs is different from a woman's abs.
exists s1 x1 x2 x3.(a_topic(x1) & of(x1,x3) & n_ab(x3) & of(x3,x2) & n_man(x2) & n_billboard(x1) & a_giant(s1) & Theme(s1,x1))
exists s1 x1 x2 x3.(a_topic(x1) & of(x1,x3) & n_ab(x3) & of(x3,x2) & n_woman(x2) & n_billboard(x1) & a_giant(s1) & Theme(s1,x1))