;;   (26) The road goes from MV to MP.  Does the road go from MP to MV?

(note SP26)
(file Mid-level-ontology.kif)
(file Transportation.kif)

(instance MountainViewCA City)
(instance MenloParkCA City)

(=>
    (and
      (routeBetween ?VAR2 ?VAR1 ?VAR3)
      (instance ?VAR2 BidirectionalTransitway))
    (routeBetween ?VAR2 ?VAR3 ?VAR1))

(subclass BidirectionalTransitway Transitway)

(exists (?R)
  (and
    (instance ?R BidirectionalTransitway)
    (routeBetween ?R MountainViewCA MenloParkCA)))

(query (routeBetween ?X MenloParkCA MountainViewCA))

(answer yes)