order to find a [...] connected to a child [...] belongs to. Return type

compatible to a specified [...] toplevel instance to the [...] submodule instance to the