English conditional markers

The English conditional marker if, typed by Conditional.Marker, and the language's X-marking exponent ([Iat00], [vFI23]).

References

• [Iat00]
• [vFI23]

def English.Conditionals.if_ : Conditional.Marker

English if marks either reading; context decides between the hypothetical and the premise reading.

Equations

• English.Conditionals.if_ = { form := "if", readings := {Conditional.Reading.hypothetical, Conditional.Reading.premise} }

def English.Conditionals.xMarking : Option Modality.Exclusion.XMarkingExponent

English X-marking: Fake Past ([Iat00]); the consequent adds woll ([vFI23] §2).

Equations

• English.Conditionals.xMarking = some { form := "Past", components := [Modality.Exclusion.XMarkingHost.past, Modality.Exclusion.XMarkingHost.future] }