Timed boolean function dsl