Generalizing Knuth's Pseudocode Architecture From Algorithms to Knowledge

It is hard for me to see how "formal structure combined with natural language content" can ever be different from "code with comments". Code often indeed requires comments but it's hard to see how any real generalization is possible from this.

[dead]