Man is enthralled with huge iridescent bubble floating overhead.
The bubble is the sun.
Man being enthralled with huge iridescent bubble floating overhead  doesn't mean that the bubble is the sun.
exists e1 e2 s1 s2 x1 x2 x3 x4.(with(e1,x2) & Theme(e2,x4) & Actor(e2,x3) & v_float(e2) & n_overhead(x4) & (x2 = x3) & n_bubble(x2) & a_iridescent(s2) & Theme(s2,x2) & a_huge(s1) & Theme(s1,x2) & Theme(e1,x1) & v_enthral(e1) & n_man(x1))
exists p1 x1 x2.(n_sun(x2) & n_bubble(x1) & (x1 = x2))