Entity:
	'entity' name=ValidID ('extends' superType=[Entity])? '{'
		features+=Feature*
	'}';

	def superEntities(Entity e){
		var ArrayList<Entity> superEntities = newArrayList()
		var curEntity = e.superType
		while(curEntity!=null){
			superEntities += curEntity
			curEntity = curEntity.superType	
		}
		superEntities
	}

	def subEntities(Entity e){
		var entities = Iterators::filter(e.eResource.resourceSet.allContents,typeof(Entity))
		entities = Iterators::filter(entities)[entity|
			entity.superEntities.contains(e)
		]
		newArrayList(Iterators::toArray(entities,typeof(Entity)))	
	}

package p1{
	entity A {
	}
	entity B extends A{
	}
}

package p2{
	
	import p1.*
	entity C extends A{
	}
}

def dispatch infer(Entity e, IAcceptor<JvmDeclaredType> acceptor, boolean prelinkingPhase) {
  acceptor.accept(
    e.toClass( e.fullyQualifiedName ) [
	documentation = '''«FOR subEntity : e.subEntities SEPARATOR ','»«subEntity.name»«ENDFOR»'''.toString

......