whole_func_string: function objectTree (obj) {
        var res
        switch (obj.termType) {
          case 'NamedNode':
            let anchor = myDocument.createElement('a')
            anchor.setAttribute('href', obj.uri)
            anchor.addEventListener('click', UI.widgets.openHrefInOutlineMode, true)
            anchor.appendChild(myDocument.createTextNode(UI.utils.label(obj)))
            return anchor
  
          case 'Literal':
  
            if (!obj.datatype || !obj.datatype.uri) {
              res = myDocument.createElement('div')
              res.setAttribute('style', 'white-space: pre-wrap;')
              res.textContent = obj.value
              return res
            } else if (obj.datatype.uri === 'http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral') {
              res = myDocument.createElement('div')
              res.setAttribute('class', 'embeddedXHTML')
              res.innerHTML = obj.value // Try that  @@@ beware embedded dangerous code
              return res
            }
            return myDocument.createTextNode(obj.value) // placeholder - could be smarter,
  
          case 'BlankNode':
            if (obj.toNT() in doneBnodes) { // Break infinite recursion
              referencedBnodes[(obj.toNT())] = true
              let anchor = myDocument.createElement('a')
              anchor.setAttribute('href', '#' + obj.toNT().slice(2))
              anchor.setAttribute('class', 'bnodeRef')
              anchor.textContent = '*' + obj.toNT().slice(3)
              return anchor
            }
            doneBnodes[obj.toNT()] = true // Flag to prevent infinite recursion in propertyTree
            var newTable = propertyTree(obj)
            doneBnodes[obj.toNT()] = newTable // Track where we mentioned it first
            if (UI.utils.ancestor(newTable, 'TABLE') && UI.utils.ancestor(newTable, 'TABLE').style.backgroundColor === 'white') {
              newTable.style.backgroundColor = '#eee'
            } else {
              newTable.style.backgroundColor = 'white'
            }
            return newTable
  
          case 'Collection':
            res = myDocument.createElement('table')
            res.setAttribute('class', 'collectionAsTables')
            for (var i = 0; i < obj.elements.length; i++) {
              var tr = myDocument.createElement('tr')
              res.appendChild(tr)
              tr.appendChild(objectTree(obj.elements[i]))
            }
            return res
          case 'Graph':
            res = panes.dataContents.statementsAsTables(obj.statements, myDocument)
            res.setAttribute('class', 'nestedFormula')
            return res
          case 'Variable':
            res = myDocument.createTextNode('?' + obj.uri)
            return res
        }
        throw new Error('Unhandled node type: ' + obj.termType)
      }
func_code_string: function objectTree (obj) {
        var res
        switch (obj.termType) {
          case 'NamedNode':
            let anchor = myDocument.createElement('a')
            anchor.setAttribute('href', obj.uri)
            anchor.addEventListener('click', UI.widgets.openHrefInOutlineMode, true)
            anchor.appendChild(myDocument.createTextNode(UI.utils.label(obj)))
            return anchor
  
          case 'Literal':
  
            if (!obj.datatype || !obj.datatype.uri) {
              res = myDocument.createElement('div')
              res.setAttribute('style', 'white-space: pre-wrap;')
              res.textContent = obj.value
              return res
            } else if (obj.datatype.uri === 'http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral') {
              res = myDocument.createElement('div')
              res.setAttribute('class', 'embeddedXHTML')
              res.innerHTML = obj.value // Try that  @@@ beware embedded dangerous code
              return res
            }
            return myDocument.createTextNode(obj.value) // placeholder - could be smarter,
  
          case 'BlankNode':
            if (obj.toNT() in doneBnodes) { // Break infinite recursion
              referencedBnodes[(obj.toNT())] = true
              let anchor = myDocument.createElement('a')
              anchor.setAttribute('href', '#' + obj.toNT().slice(2))
              anchor.setAttribute('class', 'bnodeRef')
              anchor.textContent = '*' + obj.toNT().slice(3)
              return anchor
            }
            doneBnodes[obj.toNT()] = true // Flag to prevent infinite recursion in propertyTree
            var newTable = propertyTree(obj)
            doneBnodes[obj.toNT()] = newTable // Track where we mentioned it first
            if (UI.utils.ancestor(newTable, 'TABLE') && UI.utils.ancestor(newTable, 'TABLE').style.backgroundColor === 'white') {
              newTable.style.backgroundColor = '#eee'
            } else {
              newTable.style.backgroundColor = 'white'
            }
            return newTable
  
          case 'Collection':
            res = myDocument.createElement('table')
            res.setAttribute('class', 'collectionAsTables')
            for (var i = 0; i < obj.elements.length; i++) {
              var tr = myDocument.createElement('tr')
              res.appendChild(tr)
              tr.appendChild(objectTree(obj.elements[i]))
            }
            return res
          case 'Graph':
            res = panes.dataContents.statementsAsTables(obj.statements, myDocument)
            res.setAttribute('class', 'nestedFormula')
            return res
          case 'Variable':
            res = myDocument.createTextNode('?' + obj.uri)
            return res
        }
        throw new Error('Unhandled node type: ' + obj.termType)
      }
func_documentation_string: Convert a set of statements into a nested tree of tables