Definition:Ancestor WFF