: <a href="NlpProse$$ProseTree.html" name="provingground.translation.NlpProse.ProseTree" id="provingground.translation.NlpProse.ProseTree" class="extype">ProseTree</a></span>, <span name="pruned">pruned: <a href="NlpProse$$ProseTree.html" name="provingground.translation.NlpProse.ProseTree" id="provingground.translation.NlpProse.ProseTree" class="extype">ProseTree</a></span>)</span></span></li></ol></div><div class="values members"><h3>Value Members</h3><ol><li class="indented0 " name="scala.AnyRef#!=" group