Mida.Representation.Show
showStatement
showDefinition
showSyntaxTree
showPrinciple