<<< native [ EUnderover False (EIdentifier "B") (EIdentifier "under") (EIdentifier "over") , ESymbol Rel "=" , EOver False (EUnder False (EIdentifier "B") (EIdentifier "under")) (EIdentifier "over") ] >>> eqn B from under to over = {B from under} to over