Abstract Argumentation Framework with Domain Assignments

Please write your own ASP

Example:
% Main domain predicates definitions
argument(1..2).
element(1..3).

% Problem instance
attacks(1,2).

domain(1, 1). % domain(arg, element)
domain(1, 2).
domain(2, 1).
domain(2, 2).
domain(2, 3).

#show scope/2.

Notice instead of number you can use characters!

What problem do you want me to solve?

Find all the extensions of some type.
Find only one extension of some type.
Check if a given scope is an extension.

Taking input from the user

Number of arguments (A): Any Number

Number of elements (U): Any Number

Attacks between Arguments (R): Example: 1-2,2-1

Domain of Arguments: Example: 1-1,2|2-1,2,3

What problem do you want me to solve?

Find all the extensions of some type.
Find only one extension of some type.
Check if a given scope is an extension.

Note: The format must be as shown in the example!!