5;&gt;</span> <a href="index.html#type-term">term</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a></code></dt></dl><dl><dt class="spec type" id="type-pmrs_rule"><a href="#type-pmrs_rule" class="anchor"></a><code><span class="keyword">type</span> pmrs_rule</code><code> = <a href="index.html#type-loc">loc</a> * <a href="index.html#type-term">term</a> * <a href="index.