changed notation from relation to expression
added syntax for tasks and monitors