Parenthood is an asymmetric relation. It is not possible for a person to be his own parent. Define the add operation in such a way that it enforces the asymmetry of parent when the user requests the addition of a parent fact.