module S1;

(***************************************
 ***  Part A: Check all the abbrevs. ***
 ***************************************)
obj O1
end O1;

object O2
end O2;

op Op1
end Op1;

operation Op2
end Op2;

(* etc. for the rest of the syntactic abbrevs *)


(*********************************************
 ***  Part B: Exercise the component defs. ***
 *********************************************)
object O3
  description: (* a simple and'd obj *);
end O3;

object O4
  description: (* a more complicated and'd obj *);
end O4;

operation O5
  description: (* a really hairy and'd op *);
end O5;
(* ditto for ors (i.e., simple, more complicated, and hairy *)

(* ditto for lists *)

(* simple combined (and's, or's, and lists's), more complicated and hairy *)


operation Op3
  description: (* a simple and'd op *);
end Op3;

operation Op4
  description: (* a more complicated and'd op *);
end Op4;

operation Op5
  description: (* a really hairy and'd op *);
end Op5;

operation Op6
end Op6;



end S1;