for f, g being FinSequence st 1 <= len f & g is_preposition_of f holds
g is_substring_of f,1