<logic> A collection of clauses.
See also closure, wff, proposition
<2001-03-16>
Try this search on OneLook / Google