Wie schreibt man eine linksbündige mehrzeilige Schlussfolgerung in einer Inferenzregel?

Question

Diese Frage ist sehr ähnlichWie schreibt man eine zentrierte mehrzeilige Schlussfolgerung in einer Inferenzregel?. Ich kann jedoch nicht herausfinden, wie ich eine mehrzeilige Schlussfolgerung links ausrichten kann. Was übersehe ich? Ich verwende das semanticPaket, um Inferenzregeln zu schreiben:

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

In diesem Code ist die erste Schlussfolgerung rechts ausgerichtet. Die zweite ist in der Mitte ausgerichtet. Wie kann ich sie links ausrichten? Die Verwendung von alignoder flalignfunktioniert nicht und führt zu folgendem Fehler:

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

Answer 1

Ich habe es schließlich mithilfe der arrayUmgebung gelöst:

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

\begin{document}

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

\end{document}