<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{figure}
    \centering
    \begin{subfigure}[]{0.9\textwidth}
        \begin{lstlisting}
    PREFIX ulo: &lt;https://mathhub.info/ulo#&gt;

    SELECT ?predicate (COUNT(?predicate) as ?count)
    WHERE {
        ?s ?predicate ?o .
    }
    GROUP BY ?predicate
    ORDER BY DESC(?count)
            \end{lstlisting}
        \caption{SPARQL query that returns a list of all
        \texttt{predicate}s used in the backing store. We include
        the \texttt{ulo} prefix so the results are printed in a
        concise human readable format.}\label{fig:preds-query}
    \end{subfigure}
    \vspace{0.5cm}

    \begin{subfigure}[]{0.9\textwidth}
        \large
        \begin{tabular*}{\textwidth}{c @{\extracolsep{\fill}} lll}
            \toprule
                     &amp; \texttt{predicate}          &amp; \texttt{count} \\ \midrule
            1        &amp; \texttt{ulo:uses}           &amp; 1160140 \\
            2        &amp; \texttt{ulo:declares}       &amp; 88862 \\
            3        &amp; \texttt{ulo:internal-size}  &amp; 82336 \\
            4        &amp; \texttt{ulo:derived}        &amp; 69017 \\
            %5        &amp; \texttt{ulo:statement}      &amp; 44638 \\
            %6        &amp; ulo:object                  &amp; 15179 \\
            %7        &amp; ulo:primitive               &amp; 14459 \\
            %8        &amp; ulo:proposition             &amp; 10437 \\
            $\vdots$ &amp;  $\vdots$                    &amp; $\vdots$ \\ \bottomrule
        \end{tabular*}
        \caption{Result of query from Figure~\ref{fig:preds-query}. The database
          returns a list of all involved \texttt{predicate}s ordered by their
          \texttt{count}. The particular results here are from the core
          Coq export~\cite{ulocoqspec}.}\label{fig:preds-result}
    \end{subfigure}

    \caption{Querying for the kinds of predicates used in a data set}
\end{figure}
</pre></body></html>