This took 3 hours because using methods like (?son is-the-son-of ?father) screws things up fantastically