( <e1> <> 0. (TOP-REAL 3) & <e2> <> 0. (TOP-REAL 3) & <e3> <> 0. (TOP-REAL 3) )