\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 such that 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        & \texttt{ulo:object}         & 15179 \\
            7        & \texttt{ulo:primitive}      & 14459 \\
            8        & \texttt{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 the predicates in use in a given data set.}
\end{figure}
