Semantic Analysis of Spoken Input Using Markov Logic Networks