logical-relation public under mathematical-relation 138 List Picture As a command implication 1reflexive-relation 9transitive-relation 11logical-consequencesubsumption All 17 below logical-relation →