module addressBook

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

fun showMe () {some addr}
run showMe for 2