// ...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();
}
