inference rule for ids fixed and activated