:: deftheorem defines QLTLattice2 LATQUASI:def 9 :
QLTLattice2 = LattStr(# {0,1,2},QLT_Ex1,QLT_Ex2 #);