Turning SFL Metalanguage Back Onto Martin's Stratified Context

register	realises	genre
Token	Process: relational	Value
a language sub-potential	realises	a text type
a text type  [[viewed from the system pole]]	realises	a register  [[viewed from the instance pole]]

Names Of Songs As Names Of Behaviours

Behaver	Process: behavioural	Behaviour
the singer	sang	a song
Leonard Cohen	sang	Suzanne
Nick Drake	sang	Fruit Tree
Peter Hammill	sang	La Rossa
Ian Curtis	sang	New Dawn Fades

but

Actor	Process: material	Scope: process
the musician	played	a tune
R.E.M.	played	Losing My Religion
Nine Inch Nails	played	Closer
Van der Graaf Generator	played	Arrow
Joy Division	played	Decades

The Textual, Ideational & Interpersonal Wordings Of Mathematical Equations

E	=		mc2
Theme	Rheme
Given			New
Token/Identified	Process: intensive		Value/Identifier
Subject	Finite	Predicator	Complement
Mood		Residue

That is, the wording of every mathematical equation realises

• a quantum of information
• a figure of identity, and
• a proposition (or proposal:  let x = 4).