Rule csaubhuoneetbmbp

[id: csaubhuoneetbmbp] i(is there a $limit?) && fact(there is a $limit) => o(surely there is a $limit)

Loaded as

[id: csaubhuoneetbmbp] input(is there a $limit?|is there an $limit?) && fact(there is a $limit|there is an $limit) => output(surely there is a $limit)