formal-context public under binary-relation 126 List Picture As a command %3 n0 formal-context n1 binary-relation n1->n0