Brother(Bill,Bill)

I've now added the symetric meta-rule. A problem comes up when a relation like Brother is both symetric and transitive: People end up being their own brother.

I'm thinking that some relations (equals) may allow the subject and object to be the same but others (brother) will not. This can easily be handled by a LEnt on the relation DU and a small change to the inference engine.

Bill