imply tire_swing -> unused_tire

Posted under Tags

trapster77 said in forum #425245:

BUR #56712 has been approved by @nonamethanks.

create implication holding_tire -> unused_tire

also throwing this

There might be posts where someone is changing the wheels of a Formula One car at a pit stop, not sure if we really want to count those as "unused", but I suppose the idea of this is for tires that aren't on a vehicle...

But then again if we apply that argument then tire swing also makes sense as an implication. @GreyOmega @zetsubousensei what's the rationale for the downvote?

My view aligns with zetsubousensei's for tire_swing.

I guess I do question what is and isn't an "unused" tired though, as tires are used for purposes such as safety barriers (like on race tracks) and bumpers (docks and boats, especially tugboats) where they might seem "unused" but are there for a very explicit purpose.

1