¿Cómo escribir una conclusión de varias líneas alineada a la izquierda en la regla de inferencia?

Question

Esta pregunta es muy similar a¿Cómo escribir una conclusión centrada de varias líneas en la regla de inferencia?. Sin embargo, no puedo entender cómo alinear una conclusión de varias líneas a la izquierda. ¿Qué me estoy perdiendo? Estoy usando el semanticpaquete para escribir reglas de inferencia:

\documentclass{article}
\usepackage[inference]{semantic}
\usepackage{amsmath}

\begin{document}

\inference{expr}{ \begin{aligned} This is a very long \\ expression \end{aligned} }
\inference{expr}{ \begin{gathered} This is a very long \\ expression \end{gathered} }

\end{document}

En este código, la primera conclusión está alineada a la derecha. El segundo está alineado en el medio. ¿Cómo puedo alinearlo a la izquierda? Usar aligno flalignno funciona y produce el siguiente error:

! Package amsmath Error: \begin{align} allowed only in paragraph mode.
! Package amsmath Error: \begin{flalign} allowed only in paragraph mode.

Answer 1

Finalmente lo resolví usando el arrayentorno:

\documentclass{article}
\usepackage[inference]{semantic}
\usepackage{amsmath}

\begin{document}

\inference{expr}{ \begin{array}{l} This is a very long \\ expression \end{array} }

\end{document}