Hi Ben,
Since the requirement is that there must be a 1 to 0 transition and not a “x” to 0 transition.
Shouldn’t we write it as
!isunknown( $past(stop[0]) ) && $fell(stop) |=> ..
EDIT :: Changed from !isunknown( $past(stop) ) to !isunknown( $past(stop[0]) )