O(3) NonlinearσModel and the Topological Distinction between Integer- and Half-Integer-Spin Antiferromagnets in Two Dimensions | Synapse