Halliday & Matthiessen (2014: 411):
The systems of the verbal group derive from different metafunctions:
(i) Textual: voice, contrast and ellipsis;
(ii) Interpersonal: polarity, finiteness and modality;
(iii) Experiential: aspect and event type;
(iv) Logical: secondary tense.