module addressBook

sig Name, Addr {}
sig Book {
	addr: Name ->? Addr
	}

pred showMe () {
	some addr
	}

run showMe for 2