Nodes for and-or junction: case7.dia
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion
Node	details	No expansion

---

Back to and-or junction: case7.dia