Quantifications

sig Name {
	address: set Addr
}
sig Addr {}


pred All [] {
	all n:Name | one n.address
}

pred Some [] {
	some n:Name | one n.address
}

pred No [] {
	no n:Name | one n.address
}

pred Lone [] {
	lone n:Name | one n.address
}

pred One [] {
	one n:Name | one n.address
}

run No