if something is a part of something then that something can be found in that something
heaven is thing. part is tangible_thing. part is thing. thereness is presence. thing is artifact. presence is being. part is object. being_somewhere is situation. finding is object. find_inside is things.