dot`digraph G {
graph [bgcolor="#ffffff", fontname="Verdana", fontsize="12", rankdir="TB"]
node [style="filled", fontname="Verdana", fontsize="12"]
edge [fontname="Verdana", fontsize="10"]
label = "Key: Types: USPresident, Person, EducationalInstitution; Properties: type, hasChild, attended (with from/until years)"
// Box 1
subgraph cluster_1 {
bgcolor="#e0e0ff";
label="Box 1"
t1 [label="USPresident", shape=box, penwidth=3, fontcolor="#000080"]
b1n1 [label="Washington", shape=oval, penwidth=3]
b1n2 [label="Adams", shape=oval, penwidth=3]
b1n3 [label="Carter", shape=oval, penwidth=3]
b1n4 [label="Reagan", shape=oval, penwidth=3]
b1n5 [label="Bush", shape=oval, penwidth=3]
edge [style=bold, color="#000000", arrowhead="normal"]
b1n1 -> t1 [label="type"]
b1n2 -> t1 [label="type"]
b1n3 -> t1 [label="type"]
b1n4 -> t1 [label="type"]
b1n5 -> t1 [label="type"]
}
// Box 2
subgraph cluster_2 {
bgcolor="#e0ffe0";
label="Box 2"
t2 [label="Person", shape=box, penwidth=3, fontcolor="#008000"]
b2_copy_of_b1n1 [label="Washington", shape=oval, penwidth=3]
b2_copy_of_b1n2 [label="Adams", shape=oval, penwidth=3]
b2_copy_of_b1n3 [label="Carter", shape=oval, penwidth=3]
b2_copy_of_b1n4 [label="Reagan", shape=oval, penwidth=3]
b2_copy_of_b1n5 [label="Bush", shape=oval, penwidth=3]
b2n8 [label="Amy", shape=oval, penwidth=3, fillcolor="lightblue"]
b2n9 [label="John", shape=oval, penwidth=3, fillcolor="palegreen"]
b2n10 [label="Robert", shape=oval, penwidth=3, fillcolor="lightsalmon"]
b2n11 [label="Alice", shape=oval, penwidth=3, fillcolor="mediumpurple"]
b2n12 [label="Mary", shape=oval, penwidth=3, fillcolor="palevioletred"]
b2n13 [label="James", shape=oval, penwidth=3, fillcolor="lightcoral"]
edge [style=bold, color="#000000", arrowhead="normal"]
b2_copy_of_b1n1 -> b2n8 [label="hasChild"]
b2_copy_of_b1n2 -> b2n9 [label="hasChild"]
b2_copy_of_b1n3 -> b2n10 [label="hasChild"]
b2_copy_of_b1n4 -> b2n11 [label="hasChild"]
// ... (previous Box 2 content)
b2_copy_of_b1n5 -> b2n12 [label="hasChild"]
b2_copy_of_b1n5 -> b2n13 [label="hasChild"]
edge [style=bold, color="#000000", arrowhead="normal"]
b2n8 -> t2 [label="type"]
b2n9 -> t2 [label="type"]
b2n10 -> t2 [label="type"]
b2n11 -> t2 [label="type"]
b2n12 -> t2 [label="type"]
b2n13 -> t2 [label="type"]
}
// Box 3
subgraph cluster_3 {
bgcolor="#ffffe0";
label="Box 3"
t3 [label="EducationalInstitution", shape=box, penwidth=3, fontcolor="#804000"]
b3_copy_of_b2n8 [label="Amy", shape=oval, penwidth=3, fillcolor="lightblue"]
b3_copy_of_b2n9 [label="John", shape=oval, penwidth=3, fillcolor="palegreen"]
b3_copy_of_b2n10 [label="Robert", shape=oval, penwidth=3, fillcolor="lightsalmon"]
b3_copy_of_b2n11 [label="Alice", shape=oval, penwidth=3, fillcolor="mediumpurple"]
b3n14 [label="College A", shape=oval, penwidth=3]
b3n15 [label="College B", shape=oval, penwidth=3]
b3n16 [label="College C", shape=oval, penwidth=3]
b3n17 [label="College D", shape=oval, penwidth=3]
b3n18 [label="College E", shape=oval, penwidth=3]
edge [style=bold, color="#000000", arrowhead="normal"]
b3_copy_of_b2n8 -> b3n14 [label="attended", taillabel="1990", headlabel="1994"]
b3_copy_of_b2n9 -> b3n15 [label="attended", taillabel="1980", headlabel="1984"]
b3_copy_of_b2n10 -> b3n16 [label="attended", taillabel="1975", headlabel="1979"]
b3_copy_of_b2n11 -> b3n17 [label="attended", taillabel="1990", headlabel="1994"]
b3_copy_of_b2n11 -> b3n18 [label="attended", taillabel="1994", headlabel="1998"]
edge [style=bold, color="#000000", arrowhead="normal"]
b3n14 -> t3 [label="type"]
b3n15 -> t3 [label="type"]
b3n16 -> t3 [label="type"]
b3n17 -> t3 [label="type"]
b3n18 -> t3 [label="type"]
}
}`