{{indexmenu_n>10880}}
====== rec-not3 ======

<wrap mml-desc>not (forall s in S)</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)</wrap>