graph Jip is 
	[circus_dog:Jip] -> (attr) -> [legs:{*}@3].

type circus_dog(x) is
	[dog:*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].