Answer Set Test