% Multiplicity of the domain of discourse: --'{\\bf Five ways of stating that the universe of discourse is singleton}'. defFoAs('CardUniv1', z_circ(opp(id),opp(id))). defFoAs('CardUniv1B', u_id). defFoAs('CardUniv1C', is_circ(opp(id),opp(id))). defFoAs('CardUniv1D', z_circ(u,opp(id))). defFoAs('CardUniv1E', z_circ(opp(id),u)). --'{\\bf One way of stating that the universe of discourse is at least doubleton}'. defFoAs('CardUnivGt1', u_circ(u,opp(id))). % at least two things in universe --'{\\bf One way of stating that the universe of discourse is doubleton}'. defFoAs('CardUniv2', id_circ(opp(id),opp(id))). % exactly two things in universe --'{\\bf One way of stating that the universe of discourse is more than doubleton}'. defFoAs('CardUnivGt2', u_circ(opp(id),opp(id))). % at least three things in universe