The drawbacks of legalization do not imply that our current version of prohibition is the optimal drug strategy; it may well be possible to implement prohibition in less harmful ways.
Legalization implies that our current version of prohibition is not optimal.
( z1 imply :ARG0 ( z2 legalize ) :ARG1 ( z3 optimal :polarity - :domain ( z4 version :time ( z5 current ) :mod ( z6 prohibit ) :poss ( z7 we ) ) ) )