symantic check for unary opts
symantic check for conditions