Halliday & Matthiessen (2014: 151n):
['Predicate'] has been used in traditional grammar, formal grammar (where it is roughly equivalent to VP, or Verb Phrase) and logic. From a functional point of view, its use in accounts of grammar represents an attempt to characterise Rheme and/or Residue.