sin(t) > -1/2
/ / 7*pi\ /11*pi \\ Or|And|0 <= t, t < ----|, And|----- < t, t < 2*pi|| \ \ 6 / \ 6 //
((0 <= t)∧(t < 7*pi/6))∨((11*pi/6 < t)∧(t < 2*pi))
7*pi 11*pi [0, ----) U (-----, 2*pi) 6 6
x in Union(Interval.Ropen(0, 7*pi/6), Interval.open(11*pi/6, 2*pi))