Hindi is an SOV language, but can select for clausal complements to the right of the matrix verb. With a wh-phrase in the embedded clause, comparable to German you get scope marking constructions. The scope marker `kyaa' occurs preverbally and binds the whole embedded clause to be interpreted as a proposition to the matrix verb.
The data of Hindi and a description of the type-logical grammar analyses are documented in hindi_fragments.pdfChecking is done using an extension to the Grail parser which uses Ale to check for the right subsumption relations. This extension is called Grale and can be downloaded here: grale.tar.gz