#boredom__ennui  the feeling of being bored by something tedious
  supertype:  #dissatisfaction  the feeling of being displeased and discontent; "he was never slow to express his dissatisfaction with the service he received"
  subtype:  #blahs__blah  (informal usage) a general feeling of boredom and dissatisfaction
  subtype:  #fatigue  (always used with a modifier) boredom resulting from overexposure; "he was suffering from museum fatigue"; "after watching TV with her husband she had a bad case of football fatigue"; "the American public is experiencing scandal fatigue"; "political fatigue"

No statement uses or specializes #boredom; click here to add one.