. "\nThis is a low-level language type, one of log:Formula, log:Literal, \nlog:List, log:Set or log:Other. \nExample: log:semanticsOrError returns either a formula or a string,\nand you can check which using log:rawType.\n" .