Parses and generates correct? rete for bind01.rq