Added lexacal rules for Formula