xing2 shi4 hua4

形式化