logic_inference.remarkup Transforms