[rules-users] logicalInsert and construction of an inferred fact.