Johan M. argued (here) that this is much more important an issue than has been suggested. Cindy countered (here) that, practically speaking, it is a minor issue, and in any case there is no known good solution that is without problems. Johan responded (here), pointing out that the problems with the current definition go beyond simple structural contradictions. Johan also argued that we could solve the known problems by defining a new semantics that avoids the problems asociated with the finite neutral case of the truncated semantics.
Erich proposed (here) to change abort semantics to restore the sensitivity of the abort condition to the clock context, which was lost in the revision of abort semantics that occurred in going to PSL v1.1.
No resolution so far.
TBD