rational number primary subject, 17 assertions