converted Horrocks.g to new AutoDoc style