We would like to thank all members of the German ``Schwerpunkt Deduktion'' group who contributed to this paper. Special thanks to Michael Christen, Enno Keen and Andreas Nonnengart who proof-read several preliminary versions of this paper. Bernd Fischer generated the first yacc-based parser for the syntax.