asn of "current diagram"

class Ruleset
   property rule: Rule*

class Rule

   subclass Forall
      property clause : Clause
      property declare : Var

class Clause

   subclass Atom

   subclass Implies
      property if: Condition
      property then: Atom

Received on Tuesday, 27 February 2007 14:52:55 UTC