Assertion list
individual consumer (subgroup of consumer ) → AtLocation
Results from Ascent++: 1
individual consumer → AtLocation → california 0.25