first-order reasoning Synonyms