applyNLLogicFacts_v4_iterate_steppable [dev.]