エラー メッセージがないレポートの例

*************************************************************

検査の定義に対する意味論の検証に関するエラー レポート

*************************************************************

エラーは検出されませんでした。