\documentclass{article}

\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{stmaryrd}
\usepackage{amsmath}
\usepackage{fancyvrb}
\title{}
\author{}

\date{}
\begin{document}
\maketitle


\thispagestyle{empty}

\[
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em frame}_{\mbox{\scriptsize\em parent}}
^{
\mathsf{Keep}
}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getAllFrames}
\left(
\mathtt{fnDB}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em rel}_{\mbox{\scriptsize\em inh}}
^{
\mathsf{Keep}
}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{filterElem}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\left[
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{ident}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em frame}_{\mbox{\scriptsize\em parent}}
\\
\end{array}
\right)
\\
\end{array}
\right]
,
\\
\mathtt{target}
,
\\
\mathtt{getFrameRelationsByType}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\left[
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathsf{Inheritance}
\\
\end{array}
\right]
\\
\end{array}
\right)
\\
\end{array}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em fe}_{\mbox{\scriptsize\em excl}_{\mbox{\scriptsize\em parent}}}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getExcludes}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mbox{\em frame}_{\mbox{\scriptsize\em parent}}
\\
\end{array}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em fe}_{\mbox{\scriptsize\em mappings}_{\mbox{\scriptsize\em fe}_{\mbox{\scriptsize\em excl}}}}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\left[
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{filterElem}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em fe}_{\mbox{\scriptsize\em excl}_{\mbox{\scriptsize\em parent}}}
,
\\
\mathtt{snd}
,
\\
\mathtt{getFEMappings}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mbox{\em rel}_{\mbox{\scriptsize\em inh}}
\\
\end{array}
\right)
\\
\end{array}
\right)
\\
\end{array}
\right]
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\neg 
\hspace*{2pt}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{length}
\left(
\mbox{\em fe}_{\mbox{\scriptsize\em mappings}_{\mbox{\scriptsize\em fe}_{\mbox{\scriptsize\em excl}}}}
\right)
\mathtt{>=}
\\
\mathsf{2}
\\
\end{array}
\\
\\
\end{array}
\\
\vee 
\\
\left(
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em frame}_{\mbox{\scriptsize\em child}}
^{
\mathsf{Keep}
}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getFrameByID}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mathtt{source}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em rel}_{\mbox{\scriptsize\em inh}}
\\
\end{array}
\right)
\\
\end{array}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\exists 
\hspace*{5pt}
\mbox{\em fe}_{\mbox{\scriptsize\em excl}_{\mbox{\scriptsize\em child}}}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getExcludes}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fnDB}
,
\\
\mbox{\em frame}_{\mbox{\scriptsize\em child}}
\\
\end{array}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em fe}_{\mbox{\scriptsize\em child}}
^{
\mathsf{Keep}
}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{map}
\left(
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mathtt{fst}
,
\\
\mbox{\em fe}_{\mbox{\scriptsize\em mappings}_{\mbox{\scriptsize\em fe}_{\mbox{\scriptsize\em excl}}}}
\\
\end{array}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{1pt}}l@{\hspace{1pt}}}
\mbox{\em fe}_{\mbox{\scriptsize\em child}}
\in 
\\
\mbox{\em fe}_{\mbox{\scriptsize\em excl}_{\mbox{\scriptsize\em child}}}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\right)
\\
\end{array}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\\
\end{array}
\]
\end{document}
