Base assert and query simple facts wo/variables