Add semantic rules to 'read' operation