A reduction scema by pre-institution transformations