Idea: takes the work of Avery in Simpleworld forward, starting from premise and going all the way through to auto-generated playbooks, outputting into latex pdfs
Scratch notes here: https://docs.google.com/spreadsheets/d/1I9pjr5S5nFOalZIM3NhF8ScamCuotSAr92TN27pYkxg/edit#gid=0
Optional better output: using markdown http://homebrewery.naturalcrit.com/