Describe the semantics and structure of PIEO trees

[polybeandip]

We'd like to construct inference rules answering the following questions:

• [ ] What is a PIEO tree?
• [ ] How do you pop a PIEO tree?
• [ ] How do you push to a PIEO tree? What is the data of a path?