FiniteCategories-0.1.0.0: test/ExampleParsers/Example2.scg

#Max number of cycles :
4

#Objects :
Apple
Apple tree
Earth

# Arrows :
#Apple -rots into-> Earth -gives birth to-> Apple tree -produces-> Apple
#Apple -rots into-> Earth -gives birth to-> Apple tree
Apple -rots into-> Earth
Apple tree -produces-> Apple
#Apple tree -produces-> Apple -rots into-> Earth -gives birth to-> Apple tree -produces-> Apple
#Apple tree -produces-> Apple -rots into-> Earth -gives birth to-> Apple tree
#Apple tree -produces-> Apple -rots into-> Earth
#Earth -gives birth to-> Apple tree -produces-> Apple
Earth -gives birth to-> Apple tree

# Composition law :
Earth -gives birth to-> Apple tree -produces-> Apple -rots into-> Earth = <ID>