Example of more readable rule descriptions

Hi,
Here is an example of the concise format of the rules

existsIn(?m, ?st) ∧ populatedBy(?st, ?pe) ∧ effectedBy(?pe, ?ef) ∧
computes(?ef, ?sf)
∧StochasticFunction(?sf) → isStochastic(?m, true)

This is extracted from the book chapter of Dr Miller at [1] page 18.

[1] http://chief.cs.uga.edu/~jam/jsim/DeMO/chapter/final2/millerChapter/miller.pdf

-- 
Ajith Ranabahu