Some names are shared by the roles in different frames, whose identifiers are different.
we examine the semantic commonality of these names; we construct an equivalence class of the roles sharing the same name.