
\begin{tabular}{|@{}lp{5cm}|}
\hline
\textbf{text} & It is obvious that not all dogs lay eggs. \\ \hline
\textbf{simplified} & some Dog is not LayEgg 
\\
\textbf{TBI-FOL} & exists x ( Dog(x) \& -LayEgg(x) )\\
\textbf{TBI-SYL} & (o, Dog, LayEgg)\\
\hline
\end{tabular}