Redefining Indefinites | EKB DL