(* -------------------------------------------------------------------------- *)
(* File : GRP168-2 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)
(* -------------------------------------------------------------------------- *)
(* File : GRP168-2 : TPTP v3.1.1. Bugfixed v1.2.1. *)
(* Domain : Group Theory (Lattice Ordered) *)