math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: A spaceship traveled 0.5 light-year from Earth to Planet X and 0.1 light-year from Planet X to Planet Y. Then it traveled 0.1 light-year from Planet Y back to Earth . 
sentence 2:  The spaceship traveled 0.7 light-years in all.
<equate> (0.5 + 0.1 + 0.1, 0.7)
A spaceship traveled 0.5 light-year from Earth to Planet X and 0.1 light-year from Planet X to Planet Y. Then it traveled 0.1 light-year from Planet Y back to Earth . 
 The spaceship traveled 0.7 light-years in all.