enough rules!

I've now added an implied meta rule, as well as allowing a relation to be restricted in usage to only qualifiers.

I can thing of more meta-rules that will be needed, but it is getting to the point where what we need is output. So that's next.

Some more meta-rules that we will need soon:

chaining: x(a,b) & y(b,c) => z(a,c)
ex: my father's brother is my uncle.

qualifying: x(a,b) & y(b) => z(a,b)
ex: my female sibling is my sister.

Bill