predicate
1) an abstract object in predicate calculus meant to represent a concept which requires one or more arguments to become a proposition, cf. The Languages of Science;
2) the grammaticalization of the logical predicate and arguments besides the first of a grammaticalized proposition, chapter 6, ultimately defined by a PS-rule, §6-1; the p. is composed of an auxiliary with a verb phrase; possible associated adverbial adjuncts are grammaticalized as superordinate propositions, ¶6-5-2