Betty The Crow was a new caledonian crow that, in the lab of Alex Kacelnik, demonstrated surprising skill in sequentially using tools to reach for other tools to reach for a reward. The goal of this work is to nd an AI formalization of such behaviour that combines reasoning over a sequence of rst-order logic decision variables as well as over the geometric path to execute the reaching and tool use motions. For that, we rst consider the general area of Task And Motion Planning problems; we use an approach of decomposing the problem into smaller ones solvable by (existing, blackbox) modules; we test a simple implementation of the resulting method on some small problem instances.