\begin{figure} \centering \begin{subfigure}[]{0.9\textwidth} \begin{lstlisting} PREFIX ulo: <https://mathhub.info/ulo#> 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 & \texttt{predicate} & \texttt{count} \\ \midrule 1 & \texttt{ulo:uses} & 1160140 \\ 2 & \texttt{ulo:declares} & 88862 \\ 3 & \texttt{ulo:internal-size} & 82336 \\ 4 & \texttt{ulo:derived} & 69017 \\ %5 & \texttt{ulo:statement} & 44638 \\ %6 & ulo:object & 15179 \\ %7 & ulo:primitive & 14459 \\ %8 & ulo:proposition & 10437 \\ $\vdots$ & $\vdots$ & $\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}