Union/intersection vs. alternative/conjunction — Defining posterior hypotheses in C2 systems | IEEE Conference Publication | IEEE Xplore