MSciNLI: A Diverse Benchmark for Scientific Natural Language Inference | Synapse