Input: Every student attended more than three seminars.
Output: 1