rule Forest2Forest
transform s: model1!Forest
to t: model2!Forest
{
t.name=s.name;
t.house::=s.getHouses();
t.tree::=s.getTrees();
t.river::=s.getRivers();
}

rule House2House
transform s: model1!House
to t: model2!House
{
t.name=s.name;
}
rule Tree2Tree
transform s: model1!Tree
to t: model2!Tree
{
t.name=s.name;
}
rule River2River
transform s: model1!River
to t: model2!River
{
t.name=s.name;
}

rule Path2Path
transform s: model1!Path
to t: model2!Path
{
t.name=s.name;
t.sourceObject ...?
t.targetObject ...?
}

operation model1!Forest getHouses() {
	return model1!House.all;
}
operation model1!Forest getRivers() {
	return model1!River.all;
}
operation model1!Forest getTress() {
	return model1!Tree.all;
}

operation model1!Forest getHouses() {
	return model1!House.all;
}

t.sourceObject  ::= s.sourceObject;
t.targetObject ::= s.targetObject;

t.house ::= s.houses;
t.tree ::= s.trees;
t.river ::= s.rivers;
t.paths ::= s.paths;

rule Region2Region
transform s: input!Region
to t: output!Region
{
t.name=s.name;
t.zone ::= s.neighbourhood;
}

rule Neighbourhood2Zone
transform s: input!Neighbourhood
to t:output!Zone
{
t.name=s.name;
}

rule Park2Zone
transform s: input!Park
to t:Zone
{
t.name=s.name;
//not sure what else should be added here or in some other tranformation for this to take place
}

rule Zone2Zone
transform s: input!Zone
to t: output!Zone
{
t.name=s.name;
//not complete
}

rule BigHouseArea2BigHouseArea
transform s: input!BigHouseArea
to t: output!BigHouseArea
{
t.name=s.name;
//in the input file there is a containment between the BigHouseArea and the Neighbourhood, while in the output, there is a reference between Region and BigHouseArea, and BigHouse and BigHouseArea.Should I add anything anywhere else to show these relationships?  
}

t.area ::= s.area;

t.area ::= Sequence{s.area}; 

t.area.add(s.area.equivalent());

rule Area2Area
	transform s : Source!Area
	to t : Target!Area,
	   tg : Target!TreeGroup {
	
	t.name = s.name;
	t.treegroup = tg;
	tg.tree ::= s.tree;
}

rule Area2Area
	transform s : Source!Area
	to t : Target!Area {
	
	t.name = s.name;
	var tg : new Target!TreeGroup;
	t.treegroup = tg;
	tg.tree ::= s.tree;
}

rule highway2capitalhighway
  transform s: Source!Highway
  to t: Target!CapitalHighway {

  guard: s.targetLocation.isTypeOf(Source!Capital) or 
      s.sourceLocation.isTypeOf(Source!Capital)

  t.name=s.name;
}

rule highway2highway
  transform s: Source!Highway
  to t: Target!Highway {

  guard: not s.targetLocation.isTypeOf(Source!Capital) and 
      not s.sourceLocation.isTypeOf(Source!Capital)
    
  t.name=s.name;
}

rule highway2capitalhighway
transform s: Source!Highway
to t: Target!CapitalHighway
{
 guard: s.sourceLocation.isTypeOf(Source!Capital) 
t.name=s.name;
}
//highway2highway
//this should happen only when the highway
//in the source model connects a city
//to a city
rule highway2highway
transform s: Source!Highway
to t: Target!Highway
{
  guard: s.sourceLocation.isTypeOf(Source!City) 
t.name=s.name;
}

 t.capitalhighway::=s.highways;

 t.highway::=s.highways;

t.highway ::= s.highways.first();

ref Highway[*]#incomingHighway incomingHighway ;
...
ref Location[1]#targetLocation targetLocation;

ref Highway[*]#targetLocation incomingHighway ;
...
ref Location[1]#incomingHighway targetLocation;