TINLAP: Theoretical Issues In Natural Language Processing