pavlus

open util/ordering[Character]

abstract sig Character {
	color: disj one Color,
	from: disj one City,
	drinks: disj one Drink,
	owns: disj one Heirloom
}
one sig Winslow, Marcolla, Contee, Natsiou, Finch extends Character{}