qa for working out base case specs

- clause not multiple clause specs
	- to simplify qa
	
	recurs.
	- 3 arg
	- 2 lists (see ctt)
	
	- introduce all new args at start
	
- bottom up
- list all args to put in parent pred for qa
- label args at time, put in documentation of first pred

- can search for matching (alg or xx) alg name later - with qa
	- in terms of ... types x alg name, alg not spec
	- then spec if not found
	
qa asks for alg name, then data (not recursive data)

---

qa asks for key term in sent, then its computational verb (cv), then its component cv's, then specs (are cvs and, ->/functional, multi-clause?)

x (algwriter for cvs x cawmp includes this x use and) cawmp for conn bw cv algs
- use random data

x algs are too integrated/intertwined/customised - use list alg writer