Halliday & Matthiessen (1999: 94):
… functions associated with paradigmatic types constitute ‘structural properties’ by which these types are distinguished and […] selections provide further information about these properties. […] Conversely, semantic types which are selected are characterised by the functional environment in which they are selected.