space:
<pre>
- _______________ _______________ _______________
+ _______________ _______________ _______________
| [x->2, y->3] | | [x->2, y->3] | | [x->2, y->3] |
------------------- ------------------ ------------------
| | ยข | | = | |
- | +2 | | y | | 5 |
- |______________| |______________| |______________|
+ | +2 | | y | | 5 |
+ |______________| |______________| |______________|
</pre>
For people who are familiar with Discourse Representation Theory (Kamp