Divergence models for atomized statements and parallel choice | IEEE Conference Publication | IEEE Xplore