1free terms set is term set defined to sentential symbols renaming