Added a clarifying note about {} and inference rules to avoid common problem many users run into.
Added a clarifying note about {} and inference rules to avoid common
problem many users run into.


ontopia/ontopia,ontopia/ontopia,ontopia/ontopia,ontopia/ontopia,ontopia/ontopia