Remove any statements involving implications
Remove any statement involving anything which is in class log:Chaff
All following arguments are passed to the rules (available with os:argv built-in functio n) and are not interpreted by cwm.
Verbosity levels can be set to 0 through 99.
Dump :s to stdout ordered by :k wherever { :k log:outputString :s }
A more copmplete listing of command line arguments

(end of section)