Problem: What is the extent of the over lap (between four biomedical ontologies)? How can merged terms show provenance?