As you may have noticed, above you will find words for "The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.