SLIは命題にする