vocabulary <http://flandersmake.be/cdf/vocabulary/ftg#> as ftg {
	
	extends <http://flandersmake.be/cdf/vocabulary/immutable#> as immutable
	extends <http://www.w3.org/2001/XMLSchema#> as xsd

	concept Transformation :> immutable:Thing [
	]
	
	concept Formalism :> immutable:Thing [
	]
	
	aspect InputOrOutput [
		restricts scalar property hasName to exactly 1
	]
	
	scalar property hasName [
		domain InputOrOutput
		range xsd:string
		functional
	]
	

	relation entity Input :> InputOrOutput [
		from Transformation
		to Formalism
		forward hasInput
		reverse isInputOf
		asymmetric
		irreflexive
	]		

	relation entity Output :> InputOrOutput [
		from Transformation
		to Formalism
		forward hasOutput
		reverse isOutputOf
		asymmetric
		irreflexive
	]
}