TERRANCOMMANDCENTEREVENT.MOD2G
use TerranCommandCenter as knowledge.

module TerranCommandCenterEvent {
	forall bel(resources(A,_,_,_), A >= 200, refineryNeeded, friendly("Terran SCV",Id,_))
		do (terranSCV).send!(buildRefinery(Id)) + print("SENT" + Id).

	if (terranSCV).sent(refineryBeingBuilt) then delete(refineryNeeded) + print("STOPPED SENDING").
}

TERRANSCVEVENT.MOD2G
use TerranSCV as knowledge.

module TerranSCVEvent {
	forall (terranCommandCenter).sent!(buildRefinery(Id))
		do (terranCommanCenter).send(refineryBeingBuilt) + print("RECEIVED").
}