DRSをLaTeXで書くためのスタイル・ファイルはなかったけど，ヒントがLatex for Linguistsにちゃんと書いてあった．結局はuniverse, conditionの2種類の集合を引数とするコマンドを自分で定義すればよいだけ．Mozillaなどで画像表示して探していればすぐに気がついたのに…