Tag: definition of rational expressions