VIEW_UN
SAVE_DOT
TYPE Style VISIBLE color:yellow shape:ellipse namelabel:Style
TYPE Platform VISIBLE color:burlywood shape:box namelabel:Platform
TYPE State PROJECT VISIBLE color:white shape:ellipse namelabel:State
TYPE Man VISIBLE color:yellow shape:ellipse namelabel:Man
RELATION State$context VISIBLE EDGELABEL setcolor:yellow edgecolor:black namelabel:State$context
RELATION Style$parents VISIBLE EDGELABEL edgecolor:black namelabel:parents
RELATION Man VISIBLE EDGELABEL edgecolor:black namelabel:Man
RELATION Man$ceiling VISIBLE EDGELABEL edgecolor:black namelabel:ceiling
RELATION State$ancestors EDGELABEL edgecolor:black namelabel:State$ancestors
RELATION Style$context/Style$replaces VISIBLE EDGELABEL edgecolor:black namelabel:Style$context/Style$replaces
RELATION Style$replaces VISIBLE edgecolor:red namelabel:Style$replaces
RELATION Style$context/Style$parents VISIBLE EDGELABEL edgecolor:black namelabel:Style$context/Style$parents
RELATION State VISIBLE EDGELABEL edgecolor:black namelabel:State
RELATION Style VISIBLE EDGELABEL edgecolor:black namelabel:Style
RELATION Platform VISIBLE EDGELABEL edgecolor:black namelabel:Platform
RELATION Man$floor VISIBLE EDGELABEL edgecolor:black namelabel:floor
