textual-notation-of-model