A graph-based approach to modeling and detecting composition conflicts related to introductions.