No type or individual with this identifier: wn#equivalent-binary-digit_factor