Yes

Well, you did answer Scott's question.

Although I was told it would be on the ASA site, I still
do not see the information.

It's true that 8-7-G calls the out at 1B a force out. But ASA's definition does not.

If the out at 1B is a force out, then a BR who reaches 1B safely but then steps backward toward home plate (for example, under the misconception that his fly ball has been caught) does not have to be tagged but can be put out by a simple tag of 1B.

When I've posed situations and used "force" as a sort of shorthand generic term to describe the out at 1B, other posters have been quick with their corrections.

The problem with reinstating the force on the BR is the batter does not "occupy" home and there are very few regulations regarding the path of a BR who overruns 1B (basically, she can go anywhere except dead ball territory as long as there is no try for 2nd).

One of the things I am amused by when I drop by the baseball boards is all of the word parsing going on. It has a distinct resemblance to theologians discussing the 11th chapter of Daniel or mystics discussing the writings of Nostradamus. IOW, they treat it a holy writ.

Fortunately, as much as we poke fun at ASA "editing" from time to time, it is much more clearly written overall than OBR.

8-7-G makes it clear that the BR is forced to 1B. We don't need to overly parse the definition's wording.

It's OK with me that the out at 1B is a force. But if it is, ASA should revise its definition to include the BR at 1B.