* Basic stuff from the user manual.
* Set up the agents
agent Buff3 = (C0 | C1 | C2)\{c,d};
agent C0 = Cell[c/b];
agent C1 = Cell[c/a,d/b];
agent C2 = Cell[d/a];
agent Cell = a.'b.Cell;
agent Spec = a.Spec';
agent Spec' = 'b.Spec + a.Spec'';
agent Spec'' = 'b.Spec' + a.'b.Spec'';
* Now do some basic checking
* print ;
* eq (Buff3,Spec);
* sort Buff3;
* size Buff3;
* states Buff3;
* min (Buff3Min, Buff3);
* vs (3,Buff3Min);
* pb (Buff3,Spec);