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.