`(((m87:distance)
   has-value
   ,(make-interval 16.826740610704704 22.18196419800221)
   by
   ((p:/) (1000000.) (cell1813))
   with-premises
   vandenbergh1985)
  ((cell1813)
   has-value
   ,(make-interval 16826740.610704705 22181964.19800221)
   by
   ((exp:p) (cell1810))
   with-premises
   vandenbergh1985)
  ((cell1810)
   has-value
   ,(make-interval 16.638479881974977 16.91479009313426)
   by
   ((p:*) (2.302585092994046) (cell1809))
   with-premises
   vandenbergh1985)
  ((cell1809)
   has-value
   ,(make-interval 7.226 7.346)
   by
   ((+:p) (cell1804) (1))
   with-premises
   vandenbergh1985)
  ((cell1804)
   has-value
   ,(make-interval 6.226 6.346)
   by
   ((p:/) (5) (m87:distance-modulus))
   with-premises
   vandenbergh1985)
  ((m87:distance-modulus)
   has-value
   ,(make-interval 31.13 31.73)
   by
   (user)
   with-premises
   vandenbergh1985))
