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