logical-relation public under mathematical-relation 138 List Picture As a command %3 n0 logical-relation n2 implication n0->n2 n3 reflexive-relation n0->n3 n4 transitive-relation n0->n4 n5 logical-consequence n0->n5 n6 subsumption n0->n6 n1 mathematical-relation n1->n0