Differentiate lemmas that trigger events in graph and detail view