producing grandfather ensures the termination of a counting
completion is termination. maternal_grandfather is not grandfather. maternal_grandfather is grandfather. grandfather_and_grandmother is grandparents. grandfather_clause is exemption. grandfather_and_grandmother is not grandparents. grandfather is ancestor. finalization is completion. grandfather is not ancestor. grandfather_clause is not exemption.