Handle 'Which rivers flow through France' and other vague questions.
Simplify some replacement predicates, use var/1 to indicate vars.
Explicitly name vars in rules that use vars for relations.
Oops, debug output.
There. Negation support. It can tell you now which rivers do not run through France.