// ...while these constructors are used when one Context spawns // another Context directly without an intervening Job, such as // with _with. - ST 6/12/06 public Context(Context context, AgentSet agents) { job = context.job; activation = context.activation; letBindings = context.letBindings; myself = context.agent; agentBit = agents.agentBit(); }