whole_func_string: function (subject, dom) {
      var outliner = panes.getOutliner(dom)
      var kb = UI.store
      var arg = UI.ns.arg
  
      subject = kb.canon(subject)
      // var types = kb.findTypeURIs(subject)
  
      var div = dom.createElement('div')
      div.setAttribute('class', 'argumentPane')
  
      // var title = kb.any(subject, UI.ns.dc('title'))
  
      var comment = kb.any(subject, UI.ns.rdfs('comment'))
      if (comment) {
        var para = dom.createElement('p')
        para.setAttribute('style', 'margin-left: 2em; font-style: italic;')
        div.appendChild(para)
        para.textContent = comment.value
      }
  
      div.appendChild(dom.createElement('hr'))
  
      var plist = kb.statementsMatching(subject, arg('support'))
      outliner.appendPropertyTRs(div, plist, false)
  
      div.appendChild(dom.createElement('hr'))
  
      plist = kb.statementsMatching(subject, arg('opposition'))
      outliner.appendPropertyTRs(div, plist, false)
  
      div.appendChild(dom.createElement('hr'))
      return div
    }
func_code_string: function (subject, dom) {
      var outliner = panes.getOutliner(dom)
      var kb = UI.store
      var arg = UI.ns.arg
  
      subject = kb.canon(subject)
      // var types = kb.findTypeURIs(subject)
  
      var div = dom.createElement('div')
      div.setAttribute('class', 'argumentPane')
  
      // var title = kb.any(subject, UI.ns.dc('title'))
  
      var comment = kb.any(subject, UI.ns.rdfs('comment'))
      if (comment) {
        var para = dom.createElement('p')
        para.setAttribute('style', 'margin-left: 2em; font-style: italic;')
        div.appendChild(para)
        para.textContent = comment.value
      }
  
      div.appendChild(dom.createElement('hr'))
  
      var plist = kb.statementsMatching(subject, arg('support'))
      outliner.appendPropertyTRs(div, plist, false)
  
      div.appendChild(dom.createElement('hr'))
  
      plist = kb.statementsMatching(subject, arg('opposition'))
      outliner.appendPropertyTRs(div, plist, false)
  
      div.appendChild(dom.createElement('hr'))
      return div
    }
func_documentation_string: View the data in a file in user-friendly way