@namespace(uri="argumentmodel", prefix="argumentmodel")
@gmf(foo="bar")
package argumentmodel;

@gmf.diagram(onefile="false")
class ArgumentModel {
   val Claim[*] claims;
   val Assumption[*] assumptions;
}

@gmf.node(label="name")
class Claim {
   attr String name;
   attr String description;
   @gmf.link(incoming="true")
   val ArgumentStrategy[*] ConnectArg;
}

@gmf.node(label="name",phantom="true")
class ArgumentStrategy {
   attr String description;
   attr String name;
   @gmf.link(incoming="true")
   ref Assumption [*] assumptions;  
}
@gmf.node(label="name")
class Assumption {
   attr String description;
   attr String name;

}

context Assumption {
	constraint AssumptionConnected {
	check : ???
	
	}
}

context ArgumentStrategy {
	constraint isConnectedUpper {
		check : Claim.all.exists(as|as.ConnectArg.contains(self)) 
		message : 'ArgumentStrategy ' + self.name + ' has no parent'
	}
}

@gmf.node(label="name",phantom="true")
class ArgumentStrategy {
   attr String description;
   attr String name;
   @gmf.link(incoming="true")
   ref Assumption [*] assumptions;
   @gmf.link(incoming="true")
   val Warrant[1] warrant;
}

@gmf.node(label="name",phantom="true")
class Warrant {
   attr String name;
}