*************************************************************
検査の定義に対する意味論の検証に関するエラー レポート
エラーは検出されませんでした。