Removed misleading comment from semantic.ml