[rules-dev] Perhaps an undocumented feature of Backward Chaining?