al (Exist v p) m e = or $ map (\a -> eval p m (M.insert v a e)) (subuniv m)
e
eval (Exist v p) m e = or $ map (\a -> eval p m (M.insert v a e)) (subuniv m)
eval (Exist v p) m e = or $ map (\a -> eval p m (M.insert v a e)) (subuniv m)