reformatted comments
popco.lisp: commented out 3 fns whose comments said they were obsolete. crime3extraCausalSpecs1.lisp: added and then commented out addl causal specs.
popco.lisp: I noticed that three fns:
	make-personal-symlink-if-units
	symlink-if-units
	make-symlink-if-units
all had comments saying that they were obsolete, and that any
uses should be replaced by semantic-iff.  I searched for uses of
these three functions, found none, and commented them out.  At
a later stage they can be deleted.
(By contrast, raw-make-symlink-if-units and apply-raw-make-symlink-if-units
seem to be in use.)

crime3extraCausalSpecs1.lisp: This is an experimental kludge.
This version might be the full version.
popco.lisp: renamed update-proposition-net* to update-propn-net*-from-analogy-net*
started work on update-propn-net-from-propn-net, which can be inserted into the main loop.
update-propn-net-from-propn-net is intended to create and update links in the propn net
which are controlled by the activations of conditional and biconditional propositions
in the propn net.  The idea is that some propns will be specially classified as
if's or iff's, and when they are, additional links will be created between their
arguments.  for an iff, this will be a normal link, but with weight controlled by
the activation of the iff propn.  For an if propn, I think I'll use a somewhat normal
link--i.e. two one-way links--but threshold them so that the antecedent-to-consequent
link only works when the antecedent is > 0, while the consequent-to-antecedent
link will only work when the consequent is < 0, thus implementing a continuous
analog of the effects of modus ponens and modus tollens.
experiment in crime directory