predi experimental gismu

x1 is a predicate; x2 are the domains of each argument; x3 is the truth-table

x1 is [str]. x2 is [list - set]. x3 is [map - proposition : bool].