Halliday & Matthiessen (1999: 76n):
² The ideational potential for construing such relations of restatement within the ideation base does not at all imply that meaning is analysed by means of decomposition into semantic primitives,
(i) Semantic types (such as 'balance', 'cat') are not decomposed into their defining glosses within the ideation base; rather, they are construed as standing in an intensive token-value relationship to these glosses,
(ii) The semantic types are construed internally to the ideation base according to their location in the elaborating taxonomy and can be restated in various ways,
(iii) The semantic types may also construe extra-linguistic categories of experience; that is, they may have signification outside the ideation base.