A General-Purpose Tool for Formal Concept Analysis