diagram_definition(type = "KADS Inference",
  hardy_version = 1.2,
  custom_menu_name = "&Document",
  custom_menu_strings = ["Print Document", "Demo"]).

node_definition(type = "Knowledge Role",
  image_type = "Diamond",
  format_string = "%1",
  abbreviation_format_string = "%1",
  colour = "GREEN",
  text_size = 8,
  scrolling_text = 1,
  highlight_if_linked = 1,
  attributes = ["name"],
  default_width = 100,
  default_height = 100,
  outline_width = 1,
  can_resize = 1,
  centre_text = 1,
  resize_to_contents = 0,
  use_attachments = 0).

node_definition(type = "Inference",
  image_type = "Ellipse",
  format_string = "%1",
  abbreviation_format_string = "%1",
  colour = "RED",
  text_size = 8,
  scrolling_text = 1,
  highlight_if_linked = 1,
  attributes = ["name", "method"],
  default_width = 100,
  default_height = 50,
  outline_width = 1,
  can_resize = 1,
  centre_text = 1,
  resize_to_contents = 0,
  use_attachments = 0).

arc_definition(type = "Dependency",
  image_type = "Spline",
  format_string = "%1",
  abbreviation_format_string = "",
  colour = "BLACK",
  text_size = 8,
  scrolling_text = 1,
  highlight_if_linked = 1,
  arrow_type = "End",
  line_style = "Solid",
  width = 1,
  segmentable = 1,
  can_connect_to = ["Inference", "Knowledge Role"],
  can_connect_from = ["Knowledge Role", "Inference"]).
