Changed domain snippet (replaced durative action with normal action)
Added exists, imply, etc.
Added matching for opening and closing parens