added the unlifted relation in the ASS