graph name1 is
[person:#3074] -> (name) -> ["Judy"].

graph proposition is
[proposition: [person:Norma]<-(expr)<-[love]->(obj)->[person:Joe] ].

graph students is
[student:Dist{*}@2] <- (agnt) <- [read] -> (obj) -> [book:{*}@3].

relation agnt(x,y) is
	[act:*x] <- (link) <- [agent] -> (link) -> [animate:*y].

graph two_people is
[person:*x]  [person:*y]  NOT[ [person:*x=*y] ].

prototype for elephant(x) is
    [elephant:*x] -
                   (chrc) -> [height:@3.3m]
                   (chrc) -> [weight:@5400kg]
                   (colr) -> [dark_grey]
                   (part) -> [nose] -
                                     (attr) -> [prehensile]
                                     (idnt) -> [trunk],
                   (part) -> [ear:{*}] -
                                        (qty) -> [number:2]
                                        (attr) -> [floppy],
                   (part) -> [tusk:{*}@2] -> (matr) -> [ivory]
                   (part) -> [leg:{*}@4]
                   (stat) -> [live] -
                                     (loc) -> [continent:{Africa|Asia}]
                                     (dur) -> [time:@50years].