The example did not address that class of patterns, dealing with variants of satisfy. The principle, however is identical. As with tolower() begin with a pass to remove whitepace before moving on to distinguishing between positive and negative valences. That can be done by a pass to eliminate un, dis, non, etc. before testing for the presence of the stf root.