Semantic & IR ready to exhaustive tests