sin(t) > 1/2
pi 5*pi (--, ----) 6 6
x in Interval.open(pi/6, 5*pi/6)
/pi 5*pi\ And|-- < t, t < ----| \6 6 /
(pi/6 < t)∧(t < 5*pi/6)