Although this applies to a sequence of Hs of any length, it is in fact ISL, because each H vowel only needs to ''look'' one vowel to its left in the input.
the map can be defined with the following QF formulas.