Como escrever uma conclusão multilinha alinhada à esquerda na regra de inferência?

Como escrever uma conclusão multilinha alinhada à esquerda na regra de inferência?

Esta questão é muito semelhante aComo escrever uma conclusão multilinha centrada na regra de inferência?. No entanto, não consigo descobrir como alinhar uma conclusão multilinha à esquerda. o que estou perdendo? Estou usando o semanticpacote para escrever regras de inferência:

\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}

Neste código, a primeira conclusão está alinhada à direita. O segundo está alinhado no meio. Como posso alinhá-lo à esquerda? Usar alignor flalignnão funciona e gera o seguinte erro:

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

Responder1

Finalmente resolvi usando o arrayambiente:

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

\begin{document}

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

\end{document}

informação relacionada