Mineralien schleifen Polieren. Tłumacz polsko-turecki. 王勝偉釋出. Example of simplification rules of inference.