אנגלית ⇄ סינית +

quasi-prenex conjunctive kernel normal form functions
כלל.	拟〔准〕前来合取核范式函数