Inferenzregel/Schlussregel - Geschweifte Klammer um Prämissen

[STaRDoGGCHaMP]

Hallo,
Folgendes Minimalbeispiel sei gegeben:
\documentclass{scrartcl}
\begin{document}
$
\begin{array}{r}
p\rightarrow q\\
p\\
\hline
q
\end{array}
$
\end{document} http://img72.imageshack.us/img72/6091/latexomatin.png
Jetzt hätte ich einen villeicht etwas bizzar anmutenden Wunsch: Ich möchte um die Prämissen (also die ersten beiden Zeilen) eine grose geschweifte Klammer (}) auf die rechte Seite machen und Text dranschreiben können. Zusätzliche Bedingung sollte noch sein, dass die horizontale Linie dadurch nicht größer wird. Klingt villeicht etwas komisch und speziell, aber bisher hat Latex mich nie im Stich gelassen :D.

[STaRDoGGCHaMP]

Will niemand? :p

[voss]

Will niemand? :p

war mir zu einfach ... :D


\documentclass{scrartcl}
\usepackage{amsmath}
\begin{document}
$
\begin{array}{l}
\left.
\begin{array}{r}
p\rightarrow q\\
p\\\hline
\end{array}\right\}\text{na sowas \ldots}\\
\begin{array}{r}
\phantom{p\rightarrow\,\,}q
\end{array}
\end{array}
$
\end{document}

Herbert