object TradingRule
   description: (*
      A TradingRule is a rule for determining when to buy or sell a
      security.  It is expressed in a way that allows it to be optimized
      using genetic algorithms.  Note that a TradingRule is not associated
      with a particular security, and that it cannot be optimized until it
      is associated with the market history of a specific security through
      a Security object.
   *);
   components:
      Name:string (* and *) ;
end TradingRule;

-- var t:TradingRule;
-- var r:TradingRule;
-- t.Name;
-- r.Name;
forall (r:TradingRule) ( (r.Name = "xyz") );
exists (r:TradingRule) ( (r.Name = "xyz") );
forall (r:TradingRule) ( (r.Name = "xyz") );
exists (r:TradingRule) ( (r.Name = "xyz") );
-- op X(r:TradingRule) = r.Name;
-- X(t);