implication

public under logical-relation 17

List Picture As a command

• attribute-implication