Qualitative Reasoning for Quantitative Simulation

Table 6

Filtering behaviors using + (amount, outflow) and Add (netflow, outflow, inflow).

Outflow	Amount				Netflow
		R2	R1	R2	R1	R4	R3	R4	R3
	R1	R2	R1	R2	R3	R4	R3	R4
	B1	R1	B4	R1		R3		R3
	R1	B2	R1	B3	R3		R3

R1: [(amount)/] = [(outflow)/]; R2: if outflow has inf value then amount must have inf value; R3: [(netflow)/] + [(outflow)/] = [(inflow)/]; R4: + finite = ; R5: [(amount)/] = [netflow].