It can not be described logic or some theoretical, ideal language.（3分）
Ain the form of
Bin terms of
Con the basis of
Din term of