PREDICATE [AgentColoring]:
null