node edge(x:bool)returns(e:bool);