Removed the told_subsumees set from the object property data type. Referring functions and code were removed in the previous commit. The set is not needed any more, the role saturation function does not use it.