predication

nouns

(logic) a declaration of something self-evident; something that can be assumed as the basis for argument
is derived from
is derived from