KERML — Disjoining example conflicts with textual description

Third Paragraph

disjoining disjoint Person::parents from Person::children {
	doc /* No Person can be their own parent. */
}

The documentation does not reflect the actual disjoining being performed.
The disjoin separates a person's parents set from that person's children set.
Thus the disjoin is not about the person himself
Either fix the documentation to say "A person's parents can't also be their children, and visa versa."
or fix the disjoining
disjoining disjoint Person::self from Person::parents

Change the documentation on the example

Technically, the comment in the example is correct, if, as one would expect, the feature Person::parents is the inverse of Person::children (it is actually shown as such in a later example in subclause 7.3.4.7). This is because, if a Person where their own parent this would imply that they were also there own child, which would violate the declared disjointness.

But there is no point in being so subtle in the case of this example! It is less confusing to just change the documentation comment to "No Person can have a parent as a child or a child as a parent."