Copy
a indirectly_supplies s iff a has a branch and the branch supplies or indirectly supplies s.
indirectly_supplies