WSD as a Set of Assertions