推論規則で左揃えの複数行の結論を書くにはどうすればよいでしょうか?

推論規則で左揃えの複数行の結論を書くにはどうすればよいでしょうか?

この質問は、推論規則で中央揃えの複数行の結論を書くにはどうすればよいでしょうか?しかし、複数行の結論を左に揃える方法がわかりません。何が足りないのでしょうか?semantic推論ルールを記述するためにパッケージを使用しています:

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

このコードでは、最初の結論は右揃えになっています。2 番目の結論は中央揃えになっています。これを左揃えにするにはどうすればよいでしょうか。alignまたはを使用するとflalign機能せず、次のエラーが発生します。

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

答え1

最終的に、環境を使用して解決しましたarray

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

\begin{document}

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

\end{document}

関連情報