rec/core/reasoners
