added printing & split Reify Pattern rules.