have major implications for current theories of syntax and semantics, first and second