Importing specific Psets from others

Apologies if I misunderstand - this sounds like a question of how to implement it, not whether it is possible? It certainly sounds possible: the hypothetical software will import an IFC, check matching GUIDs, and merge Psets.

Are you asking for a script that does this? I suspect it would be relatively trivial with IfcOpenShell.

I think this also goes back to my question about including and instancing another IFC file:

You can vote for that issue - I think it’s the way forward.