Grammar 7.1 + Python class for extendedString