Adding the rule from the specification document
Started converting expressions