Halliday & Matthiessen (2014: 151):
The Predicator is present in all major clauses, except those where it is displaced through ellipsis. It is realised by a verbal group minus the temporal or modal operator, which … functions as the Finite in the Mood element … The Predicator itself is thus non-finite; and there are non-finite clauses containing a Predicator but no Finite element …