`The domain of discourse (or universe of discourse) is the collection from which variables can take values.
For example, if my predicate function is “x is sharp”, the function has a different meaning if my universe of discourse is
“all college students”
versus
“all tools.”`