achieving situation-awareness by predicate detection