5.4 因三相的形式语义学