The logic of typed feature structures | lit.salon