Property:^nlp:superStringTrans