SO, in every statement, the condition or conclusion of the axiomatic semantics of expression has the "REASON".

因此，在每个语句，表达式的公理中的条件部分和结论部分都含有REASON。