Grendel:Specification