(hasPassedAway ((is (and FatherOfAI FatherOfLISP)) John McCarthy))