alg writer with multi choice

Cawp for sub predicates - need spec
Specs are result of groups of old, new predicates in random, mind-reading
caw with new predicates for rest, with multi choice


Even in mr choose one of random caw with new predicates with mr


Automatically decomposes list, asks for command including more decomposition based on ideas from previous predicates

Needs data flow as goes in manual entry


Data flow also reports result of header matching, structure matching, check arguments, start of statement
- interpreter editing


can select whether to enter a new line or try auto-completing.


times out
- on clauses
- can insert true, false, until clause configuration doesn't time out, has correct result


use run-all instead of classic cawp
- needs type definitions
	- can reverse engineer type definitions from predicates
- or can guess biggest to smallest data types when writing call
	- even with commands
- or non repeating instances of variables in cawp


- meronymnal network of algorithms
	- finds related words to spec, uses as data, backbone of algorithm
	- if there are two different ideas in spec, finds connection
- mind reading for confirmation of relevance