<<< native [ EUnderover False (EIdentifier "BASE") (EIdentifier "s") (EIdentifier "t") , ESymbol Rel "=" , EUnderover False (EIdentifier "BASE") (EGrouped [ EPhantom (ENumber "1") , EIdentifier "s" , EPhantom (ENumber "1") ]) (EGrouped [ EPhantom (ENumber "1") , EIdentifier "t" , EPhantom (ENumber "1") ]) ] >>> eqn BASE from s to t = BASE from {hphantom 1 s hphantom 1} to {hphantom 1 t hphantom 1}