cider primary subject, 131 assertions