LASSEN, S. Relational Reasoning about Contexts. BRICS Report Series, v. 4, n. 24, 24 Jan. 1997.