Using logical formulas to improve the expressiveness of Relational Attribute Grammars