work on:

	o  basic odds capability (counting works now!)
ok now		Working on getting 3-to-1 odds, rather than just 3 times
		the units.  Goal setup seems to be correct.  But the using
		(in the operator "assign-unit") "needs-strength" instead of
		"less-than" (old method) doesn't work.  (Try TEXT ADV, and
		run it.  Seems to fail on a correct choice of operators.
		Also, check INFER-NEEDS-STRENGTH.)
		Note:  inference rule in goal seems ok.
ok	o  simple unit types
ok	o  complex unit types
-->	o  inference rules (see notes in start state)
		(This could be dangerous; our goal
		is trying to achieve ~unassigned.)




