Detailed Instructions: In this task, you will be presented with a context from an academic paper and a question separated with a 
. You have to answer the question based on the context.
Problem:To show the effectiveness of our approach, we show results on the SICK dataset BIBREF1, a common benchmark for logic-based NLI, and find MonaLog to be competitive with more complicated logic-based approaches (many of which require full semantic parsing and more complex logical machinery). 
 Question: Do they beat current state-of-the-art on SICK?
Solution:
No