Re: [rules-users] Equality semantics of logical assertions and stated assertions