#40 erroneous warning in validation

[Andrew W Crapo]

given

Person is a class,
described by child with values of type Person...

and

A Person is a Man only if gender always has value Male.

and

US_President is a type of Person.

Abraham is a {Man and US_President}, has child Robert.

gives a warning that "Abraham is not in domain (Person) of property child"