@Test
public void testDown() {

    Context powerset = Context.powerset(ABC);
    ConceptLattice lattice = powerset.asConceptLattice(new TinkerGraph());
    
    ConceptLattice downset = Context.down(lattice).asConceptLattice(new TinkerGraph());
}