pldoc for inst_exs

docs/pldoc/liftcover.html

@@ -49,6 +49,8 @@ <h1 class="file"><span style="float:right"></span>liftcover.pl</h1>
 for the argument in position <var>Arg</var>.</dd>
 <dt class="pubdef"><span style="float:right">&nbsp;</span><a name="hits_at_k/7"><b class="pred">hits_at_k</b><var class="arglist">(:Folds:list_of_atoms, +TargetPred:predicate, +Arg:int, +Prog:probabilistic_program, +K:int, -Hits:float, -FilteredHits:float)</var></a> is <b class="det">det</b></dt><dd class="defbody">Returns the <var>Hits</var>@<var>K</var> and filtered <var>Hits</var>@<var>K</var> of the target predicate <var>TargetPred</var> on the list of folds <var>Folds</var>
 for the argument in position <var>Arg</var> computed over <var>Prog</var>.</dd>
+<dt class="pubdef"><span style="float:right">&nbsp;</span><a name="inst_exs/4"><b class="pred">inst_exs</b><var class="arglist">(:Folds:list, +TargetPred:PredSpec, +Arg:int, +ProbabilisticProgram:list_of_probabilistic_clauses)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate prints the list of answers for all the triples in <var>Folds</var> for predicate
+TaragetPredwhere argument in position <var>Arg</var> has been replaced by a variable.</dd>
 <dt class="pubdef"><span style="float:right">&nbsp;</span><a name="rank_exs/4"><b class="pred">rank_exs</b><var class="arglist">(:Folds:list, +TargetPred:PredSpec, +Arg:int, +ProbabilisticProgram:list_of_probabilistic_clauses)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate prints the list of answers for all the triples in <var>Folds</var> for predicate
 TaragetPredwhere argument in position <var>Arg</var> has been replaced by a variable.</dd>
 <dt class="pubdef"><span style="float:right">&nbsp;</span><a name="rank_ex/3"><b class="pred">rank_ex</b><var class="arglist">(:At:atom, +ProbabilisticProgram:list_of_probabilistic_clauses, +Arg:int)</var></a> is <b class="det">det</b></dt><dd class="defbody">The predicate prints the list of answers for the query <var>At</var> where