Monasearch Querying Linguistic Treebanks with Monadic Second Order Logic Hendrik Maryns and Stephan Kepser Collaborative Research Centre 441 niversity of Tubingen Germany hendrik kepser sfs uni tuebingen de Abstract MonaSearch is a new powerful query tool for linguistic treebanks The query language of MonaSearch is monadic second order logic an extension of first order logic capable of expressing probably all linguis tically interesting queries In order to p
29 MonaSearch A Tool for Querying Linguistic Treebanks Hendrik Maryns and Stephan Kepser Collaborative Research Centre 441 University of T bingen Germany hendrik kepser sfs uni tuebingen de Abstract MonaSearch is a new powerful query tool for linguistic treebanks The query language of MonaSearch is monadic second order logic an extension of first order logic capable of expressing probably all linguistically interest ing queries In order to process queries