a new design for inferencing

Having gained some experience with the inference engine, which in turn has given me much to think about, I think it best now to design something better that will more effectively integrate with AW.

What were special relations now becomes rule rolons, which are implemented as Pages under DUs. Relations then are further subdivided into qualifier CEnts, e.g. Male(Fred) is the CEnt Male=t, and relation CSecs, e.g. Mother(Fred, Ann). Also, a relationship will implicitly define a qualifier, so that Mother(Fred,Ann) => Mother(Ann). This is especially important when dealing with infosets. (Ann my be in the infoset and not Fred).

One important rule will be QualifiedRelationship:

QualifiedRelationship(Mother, Parent, Female) -->
((Mother(Fred,Ann) <=> (Female(Ann) & Parent(Fred,Ann))) &
(Mother(Sally) <=> (Female(Sally) & Parent(Sally)))).