#20 'ofType' and 'impliesType' mixed up.

[baz bishop]

When the same attribute name is used in two definitions for a concept, then it appears as though there is some mix up. This is best described by example:

Concept Man
hasChild ofType Child
hasChild impliesType Human

The following query results are expected:

Query: Man[hasChild ofType ?x]
Result: Child

Query: Man[hasChild impliesType ?x]
Result: Human

However, the actual results are:

Query: Man[hasChild ofType ?x]
Result: Child, Human

Query: Man[hasChild impliesType ?x]
Result: <none>