AG((interpretation = go) -> (train = absent));