graph logic_or is
NOT[ NOT[[p]] NOT[[q]] NOT[[r]] ].

graph identity is
[person:Rosalie] NOT[ [person:Rosann=Rosalie] ].

graph every1 is
NOT[ [man:*x]  NOT[ [man:*x]<-(expr)<-[love]->(obj)->[woman] ] ].

graph every2 is
[woman:*y]  NOT[ [man:*x]
                 NOT[ [man:*x]<-(expr)<-[love]->(obj)->[woman:*y] ]
               ].

graph people2 is
[person:*x]  [person:*y]  NOT[ [person:*x=*y] ].
graph eat1 is
	[girl] <- (agnt) <- [eat] -> (manr) -> [fast].

graph eat2 is
	[person:Sue] <- (agnt) <- [eat] -> (obj) -> [pie].

schema for bus(x) is
[bus:*x] -
          (inst) <- [travel] -
		                         (rate) -> [speed<=55mph]
								 (agnt) -> [passenger:{*}=*a],
		  (cont) -> [passenger:{*}=*a] -> (qty) -> [number~50]
		  (obj) <- [drive] -> (agnt) -> [driver].

graph John is
[person:John] <- (agnt) <- [go] -
                                 (inst) -> [bus]
								 (dest) -> [city:New_York]
								 (past).

graph expand_ex is
[person:John] <- (agnt) <- [like] -> (obj) -> [circus_elephant:Jumbo].

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

type circus_elephant(x) is
	[elephant:*x] <- (agnt) <- [perform] -> (loc) -> [circus].

graph fact1 is
[number:3] -> <<factorial>> -> [number:?].

actor factorial(in a;out b) is
[number:*a] -
             <<ident>> -> [number=0] -> <<add1>> -> [number:*b]
			 <<ident>> -> [number>0:*x] -> <<sub1>> -> [number] ->
			      <<factorial>> -> [number] -{1}-> <<multiply>> -
			                                            <-{2}- [number>0:*x]
			    									        -> [number:*b].

actor multiply(in x,y;out z) is
[number:*x] -{1}-> <<times>> -
                              <-{2}- [number:*y]
							  -> [number:*z].

graph subrange is
[0<number<100 : 15].

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

graph name2 is
["IV"] <- (name) <- [number:#234] -> (name) -> ["4"].

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].

individual circus_elephant(Jumbo) is
	[elephant:*Jumbo] <- (agnt) <- [perform:{*}] -
	                                      (loc) -> [circus:Barnum_and_Bailey].

graph psbl2 is
(past) -> [ (neg) -> [ (psbl) -> [
	[person:Julian]<-(agnt)<-[fly]->(dest)->[planet:Mars] ] ] ].

individual monkey(#1034) is
[eat] -
       (agnt) -> [monkey:#1034]
       (obj) -> [walnut] -> (part) -> [shell:*x]
       (inst) -> [spoon] -> (matr) -> [shell:*x].

graph between is
[brick:*x] <- (betw) -
                      <-{1}- [brick:*y]
                      <-{2}- [brick:*z].

graph data_flow is
<<divide>> -
            <-{1}- [dividend:*a]
            <-{2}- [divisor:*b]
            -{3}-> [remainder:*e]
            -{4}-> [quotient:*d] -{1}-> <<plus>> -
                                                  <-{2}- [squareroot:*f]
                                                  -> [sum:*g].

graph loops is
[man:Jack] -
            (wife) -> [woman:Jill] -
                                    (son) -> [boy:Tom=*x]
                                    (daughter) -> [girl:Sue=*y],
            (son) -> [boy:Tom=*x]
            (daughter) -> [girl:Sue=*y].

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

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

graph lambda is
[lambda x [number:*x]->(greater)->[number:0] : 15].

graph logic_and is
[p] [q] [r].


graph psbl1 is
(psbl) -> [ [person:Julian]<-(agnt)<-[fly]->(dest)->[planet:Mars] ].

graph factorial2 is
[number:3!] -> <<factorial>> -> [number].

graph loop2 is
[man:*x] -> (wife) -> [woman] -
                               (employer) -> [man:*x]
                               (son) -> [man:Bill].