AG((interpretation = go) -> !(train = present2));