Implication-with-possible-exceptions. - Nerman Jurrjus; Harrie C. M. de Swart (RelMiCS, 2000)