Conceptual Structures, Logical, Linguistic, And Computational Issues by Bernhard Ganter & Guy W. Mineau