Reasoning about threats: From observables to situation assessment