sentences: if two things provide half of something to something else, then that something else will recive a full amount of that something
docs: part is tangible_thing. third_party is tangible_thing. tangible_thing is three_dimensional_thing. separated_thing is divided_thing. n2 is tangible_thing. two_by_four is tangible_thing. goods is tangible_thing. pair_of_things is two_things. h2 is tangible_thing. partwise_symmetric_object is tangible_thing.