True	If
----	--
mother(X,Y)	female(X), parent(X,Y)
