The logic of typed feature structures · Study