@ryandanas I really prefer the command origin over name for displaying the origin information. The mechanism by which we compute the origin information (i.e., keeping track of Skolem names for elements) is not exposed to the user. So, I think the command name may be confusing to a user who is not familiar with the internal algorithms of Razor.
@ryandanas I really prefer the command
originovernamefor displaying the origin information. The mechanism by which we compute the origin information (i.e., keeping track of Skolem names for elements) is not exposed to the user. So, I think the commandnamemay be confusing to a user who is not familiar with the internal algorithms of Razor.