goal</span><span class="p">()</span>             <span class="c1"># A#=5</span>
<span class="n">Compound</span><span class="p">(</span><span class="s2">&quot;labeling&quot;</span><span class="p">,</span>\
         <span class="n">PList</span><span class="p">([</span><span class="n">A_var</span><span class="p">,</span><span class="n">B_var</span><span class="p">]))</span><span class="o">.</span><span class="n">post_goal</span><span class="p">()</span>     <span class="c1"># labeling([A,B])</span>
<span class