formal-concept-analysis public under order-theory 1 List Picture As a command %3 n0 formal-concept-analysis n1 order-theory n1->n0