A]" name="scala.Iterator" id="scala.Iterator" class="extmbr">Iterator</a>[<span name="scala.Predef.String" class="extype">String</span>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd>Product</dd></dl></div></li><li class="indented0 " name="provingground.translation.NlpProse.SplitTree#pruned" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="pruned:provingground.translation.NlpProse.ProseTree"></a><a id="pruned:ProseTree"></a> <span c