digraph cityexample {
  Tokyo->City [label="isA"];
}