Embedded Queries in the Rule's base Monad