Figure 11: TPMÕs fine-grained (AORTA) view of a node showing variable instantiation given the successful completion of the goal append([a,b], [c,d], OutList).

---

B.A.Price@open.ac.uk / 19 July 94