Léxico
poder_judicial ::= cgpj | juzgado | tribunal cgpj ::= 'consejo general del poder judicial' juzgado ::= 'juzgado de primera instancia' | 'juzgado de instruccion' | 'juzgado de primera instancia e instruccion' | 'juzgado de lo penal' | 'juzgado de lo civil' | 'juzgado de lo mercantil' 'juzgado contencioso-administrativo' | ''juzgado de lo social' | 'juzgado de paz' tribunal ::= 'tribunal constitucional' | 'tribunal supremo' | 'tribunal superior de justicia' | 'audiencia provincial' 'audiencia nacional'