INSPECT: an Intelligent System for Air Campaign Plan Evaluation based on EXPECT