[id: ytqnebnopqvzyywz] i(is there a $limit?) => sayIfTrue(there is no $limit!)
[id: ytqnebnopqvzyywz] input(is there a $limit?|is there an $limit?) && fact(there is no $limit!) => output(there is no $limit!)