Rule uazzpljikbfbgjyi

[id: uazzpljikbfbgjyi] input(I want to buy $x)
  && fact($y is a store)
  => output(Go to $y!)

Loaded as

[id: uazzpljikbfbgjyi] input(I want to buy $x) && fact($y is a store|$y is an store) => output(Go to $y!)