The reasoner can work in TRIGGERED MODE (not implemented yet)