Added specification statement splitting rule.
Added copy-rule right to left.
Added syntax for specification statement.