lib_index(svg_tag_coords, 3, any, svg, svg_tag_coords).
lib_index(svg_legend, 1, any, svg, svg_legend).
lib_index(svg_change_dim, 4, any, svg, svg_change_dim).
lib_index(svg_tag_coords, 4, any, svg, svg_tag_coords).
lib_index(svg_size, 3, any, svg, svg_size).