Cascade deleting facts and violations