A new formal tool: Functorial variables representing assertions and presuppositions

Ingolf Max