Da LPL:
<div>
Remember. In fol,
<ul>
<li>
Every predicate symbol comes with a single, fixed "arity", a number
that tells you how many names it needs to form an atomic sentence.
</li>
<li>
Every predicate is interpreted by a determinate property or relation
of the same arity as the predicate.
</li>
</ul>
In LOGI si usa <tt>P/n</tt> per indicare un predicaton-ario. Ad es. <tt>RightOf/2</tt> è binario,
ovvero le atomiche costruite con <tt>RightOf</tt> devono contenere coppie di "nomi"
(formalmente: coppie di <em>termini</em>).