Ingolf Max: A new formal tool: functorial variables representing assertions and presuppositions. COLING 1988: 408-410