create_universe_of_discourse

See also

object-creation | theory-derivation

The simplest way to create a new universe-of-discourse is to call the create_universe_of_discourse function:

u1 = pu.create_universe_of_discourse()
...
# insert objects declaration code here
...