conclusion

Conclusion of the effect. If this value is set, the effect represents an implication with this value as the right-hand side.