sentences:  the power set of dom("A") minus the empty set).In other words, each quantifier is a family of properties on dom("A"), so each is called a "monadic" quantifier.Any quantifier defined as an "n" > 0-ary relation between properties on dom("A") is called "monadic".