Halliday & Matthiessen (1999: 455):
Both transforming interpretations can be seen as attempts to find a canonical logical form, either Subject – Copula – Predicate or Subject – Predicate, rather than have to operate with different forms. These two logical structurings correspond to relational and material models respectively: