13:24:34beachscymtym: How can something be "stored in a node", but "not part of the tree structure"?
13:35:24beachscymtym: "can only be highlighted by" -> "can be highlighted only by"
13:35:44beach... and there are some dangling participles in there, but maybe you don't care about those.
13:38:17beachscymtym: I understand a lot more today. I am sure that's partly because I am more rested today, but also partly because you removed some of the obstacles to my understanding it.
13:41:12beachscymtym: Is "KIND*" in the rule grammar supposed to be "NODE-KIND*"?
14:18:18scymtymbeach: i will read your questions in the evening. looking after child now
14:18:50beach"can beach selected" -> "can be selected" :)
14:21:08beachWell, I think I understood it all, but I didn't verify the code for STEP-MATCHES-P and APPLICABILITY-SCORE. In the latter I worried that the steps or the stack might be empty, which does not seem to be taken into account. But perhaps that can't happen.