---------------------------------------- |context> => |context: deathstar adjacent planets example> -- see here: http://www.math.ucla.edu/~wittman/10b.1.10w/Homework/HW2/homework2.html source-url |context: deathstar adjacent planets example> => |url: http://www.math.ucla.edu/~wittman/10b.1.10w/Homework/HW2/homework2.html> supported-ops |Aldeeran> => |op: adj2> + |op: adj3> + |op: adj4> + |op: adj5> + |op: adjacent-planet> adj |Aldeeran> => |Aldeeran> + |Coruscant> supported-ops |Bespin> => |op: adj2> + |op: adj3> + |op: adj4> + |op: adj5> + |op: adjacent-planet> adj |Bespin> => |Coruscant> supported-ops |Coruscant> => |op: adj2> + |op: adj3> + |op: adj4> + |op: adj5> + |op: adjacent-planet> adj |Coruscant> => |Bespin> supported-ops |Deathstar> => |op: adj2> + |op: adj3> + |op: adj4> + |op: adj5> + |op: adjacent-planet> adj |Deathstar> => |Deathstar> + |Bespin> supported-ops |*> => |op: adj2> + |op: adj3> + |op: adj4> + |op: adj5> + |op: adjacent-planet> adj2 |*> #=> adj^2 |_self> adj3 |*> #=> adj^3 |_self> adj4 |*> #=> adj^4 |_self> adj5 |*> #=> adj^5 |_self> adjacent-planet |*> #=> adj |_self> ----------------------------------------