AFAIK, the Fact loan will be immediatelly retracted just after it's asserted. so there is no way to execute the 2nd rule. I was just wondering in what situation assertLogical should be used?