\documentclass[12pt, a4paper]{article}
 
\newcounter{conta}
\newcounter{conta2}

\hyphenation{e-xis-ten-te es-pe-cia-li-za-das e-xem-plo pro-je-to
com-ple-xi-da-de de-sa-pa-re-ce a-bor-da-gem co-mo}

\begin{document}
\begin{itemize} \large
 \item Outra maneira de assegurar a precondi\c c\~ao $\mbox{at}(x)$ de $\mbox{\em Go}(\mbox{SM})$:
       adicionar $\mbox{\em Go}(\mbox{HWS})\stackrel{\mbox{at}(\mbox{HWS})}{\longrightarrow}
       \mbox{\em Go}(\mbox{SM})$.
 \item Neste caso, 
       o passo $\mbox{\em Go}(\mbox{SM})$ amea\c ca a precondi\c c\~ao $\mbox{at}(\mbox{HWS})$
         do passo $\mbox{\em Buy}(\mbox{Drill})$ (e este \'e protegido por uma liga\c c\~ao causal).
 \item Resolu\c c\~ao da amea\c ca: $\mbox{\em Buy}(\mbox{Drill})\prec \mbox{\em Go}(\mbox{SM})$.
 \item Neste ponto, falta assegurar $\mbox{at}(\mbox{Home})$ de {\em Finish}:
         usa-se $\mbox{\em Go}(\mbox{Home}) \stackrel{\mbox{at}(\mbox{Home})}{\longrightarrow}\mbox{\em Finish}$.
 \item Tenta-se ligar a tal $\mbox{\em Go}(\mbox{Home})$:
         \begin{itemize}
          \item {\em Start\/}: n\~ao h\'a como resolver amea\c cas de $\mbox{\em Go}(\mbox{HWS})$ e
                   $\mbox{\em Go}(\mbox{SM})$.
          \item $\mbox{\em Go}(\mbox{HWS})$: n\~ao h\'a como resolver amea\c ca de $\mbox{\em Go}(\mbox{SM})$,
                   que deve vir ap\'os $\mbox{\em Go}(\mbox{HWS})$.
          \item $\mbox{\em Go}(\mbox{SM})$: para evitar a dele\c c\~ao da precondi\c c\~ao $\mbox{at}(\mbox{SM})$
                   dos passos $\mbox{\em Buy}(\mbox{Milk})$ e  $\mbox{\em Buy}(\mbox{Bananas})$:
                   $\mbox{\em Buy}(\mbox{Milk}) \prec \mbox{\em Go}(\mbox{Home})$ e 
                   $\mbox{\em Buy}(\mbox{Bananas} \prec \mbox{\em Go}(\mbox{Home})$.
         \end{itemize}
\end{itemize}


\end{document}



