(note "Exists Many Variables #2") (thereExists ?X (thereExists ?Y (thereExists ?Z (thereExists ?W (and (r ?X) (s ?Y) (t ?Z) (u ?W) (same ?X ?Y) (same ?Y ?Z) (same ?Z ?W)))))) (query (thereExists ?X (and (r ?X) (u ?X) ))) (answer Yes)