Martin (1992: 111):
The subclassification of presuming reference is formulated systemically in Fig. 6 below. Naming is referred to as [unique] reference and opposed to [variable]; within variable reference [pronominal] and [nominal] are contrasted; then nominals are subclassified into those with demonstratives [directed] and those without [undirected]; finally directed reference is broken down into [proximate] and [distant].
 To be clear, in SFL theory, Martin's opposition of [presenting] and [presuming] is the grammatical opposition between non-specific and specific deixis, respectively, an interpersonal system of the nominal group, misunderstood and rebranded as a discourse semantic opposition of the textual metafunction.
 This confuses nominal group deixis with cohesive reference, and rebrands the grammatical confusion as the discourse semantics of reference.
 To be clear, this confuses the construal of experience as names with the textual system of cohesive reference.
 These are classes of grammatical form, not semantic functions.