Halliday & Matthiessen (2004: 588):
Messages, propositions or proposals, and figures can combine with units of the same metafunctional type to form more extensive semantic patterns in the creation of text. These patterns are distinct for each metafunction.