結果 : sentence formulas