Fixed the error with the membership function for answer sets