Page Numbers: Yes  First Page: 1
Heading:z18697x2e8qk72(635)
November 12, 1976  4:40 PM					[IVY]<KRL>document>ex-borningz18697y774x2e8qk72
Alan's examples in KRL1z18697x2e12ck72\b
NOTE: This is a comment.z19050x2e12jk72\bi
Units having to do with somethingz18697x2e12k72\b
# DrawableObject^1					1: HasFunctional(self, PicturedAs, bitmap)
	bitmap: A Stringz18697x2e12k54\2b14f1o4 2f0o0 5f1 3B20b10B9f0b9B
# ConstrainedObject^1					1: HasFunctional(self, Constrained, expressiion)
	expression: A Descriptionz18697x2e12k54\2b17f1o4 2f0o0 5f1 3B20b11B14f0b13B
# Node
	self: Constrained (\SumOfAll(My currents))
	point: A Point
	voltage: A Real
	currents:	SetOf(A Real)
				SetOfAll(The current from a Lead with node = My self)z18697x2e12k54\2b11B39b6B10b8B9b9B
# Point
	x: A Variable
	y: A Variablez18697x2e12k54\2b9B13b2B
# Real
	self: A Variablez18697x2e12k54\2b11B
# Lead
	node: A Node with currents = HasMember(My current)
	voltage: The voltage from a Node thatIs My node
	current: A Realz18697x2e12k54\2b11B47b8B41b8B
# Ground
	self: A Lead with voltage = 0z18697x2e12k54\2b13B
# TwoLeadObject
	self: Constrained (\SumOf(The current from a Lead thatIs My lead1,
										The current from a Lead thatIs My lead2))
	lead1: A Lead
	lead2: A Leadz18697x2e12k54\2b20B115b6B9b6B
# Resistor^1						1: FurtherSpecified (\TwoLeadObject)
	self:	A TwoLeadObject
			PicturedAs ("1110101001010100100101010")
			Constrained (\Diff(Diff(The voltage from a Lead thatIs My lead1,
											The voltage from a Lead thatIs My lead2),
									(Product(The current from Lead thatIs My lead1,
												My resistance)))
	lead1: ; lead2:
	resistance: A Real
	z18697x2e12k54\2b8f1o4 2f0o0 6f1 2B34f0b7B269b28B
# Battery^1						1: FurtherSpecified (\TwoLeadObject)
	self: A TwoLeadObject
			PicturedAs ("1111010101010")
			Constrained (\Diff(Diff(The voltage from a Lead thatIs My lead1,
											The voltage from a Lead thatIs My lead2),
									My voltage)
	lead1: ; lead2:
	voltage: A Real
z18697x2e12k54\2b7f1o4 2f0o0 6f1 2B34f0b7B192b16B1b8B
# Node1
	self:	A Node
			The node from a Lead thatIs A Ground
			The node from a Lead thatIs The lead1 from a Battery thatIs Battery1
			The node from a Lead thatIs The lead2 from a Resistor thatIs Resistor2z18697x2e12k54\1b13B
# Node2
	self:	A Node
			The node from a Lead thatIs The lead2 from a Battery thatIs Battery1
			The node from a Lead thatIs The lead1 from a Resistor thatIs Resistor1z18697x2e12k54\1b13B
# Node3
	self:	A Node
			The node from a Lead thatIs The lead2 from a Resistor thatIs Resistor1
			The node from a Lead thatIs The lead1 from a Resistor thatIs Resistor2z18697x2e12k54\1b13B
# Resistor1
	self:	A Resistor with resistance = 5.0
			A DepictableObject with bitmap = "111010100100101010"
			A TwoLeadObject with
				lead1 = A Lead with node = Node2
				lead2 = A Lead with node = Node3z18697x2e12k54\2b16B
# Resistor2
	self:	A Resistor with resistance = 10.0
			A TwoLeadObject with
				lead1 = A Lead with node = Node3
				lead2 = A Lead with node = Node1z18697x2e12k54\2b16B
# Battery1
	self:	A Battery with voltage = 15.0
			A TwoLeadObject with
				lead1 = A Lead with node = Node1
				lead2 = A Lead with node = Node2z18697x2e12k54\2b15B
# Circuit1
	self:	A Circuit with
					ConstrainedObjects = {Node1, Node2, Node3,
													Battery1, Resistor1, Resistor2}z18697x2e12k54\2b15B
z18697x2e12k54