edge: <a href="NlpProse$$DepRel.html" name="provingground.translation.NlpProse.DepRel" id="provingground.translation.NlpProse.DepRel" class="extype">DepRel</a></span>, <span name="subtree">subtree: <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.transla