[rules-users] Partial Unification / Derivation of Facts?