loaded_examples.

:-style_check(-discontiguous).

examplesP(
[
(1,father(john,mary),
min_max(
[
   [female(mary),male(john)]
]
,
[
   (parent(_,_),[ (parent(john,mary),3,[1])]),
   (male(_),[ (male(john),2,[1])]),
   (female(_),[ (female(mary),1,[1])])
]
)),
(2,father(david,steve),
min_max(
[
   [male(david),male(steve),parent(david,steve)]
]
,
[
   (parent(_,_),[ (parent(david,steve),3,[1])]),
   (male(_),[ (male(david),1,[1]), (male(steve),2,[1])])
]
))
]
).


tabs(pos,
[
(1,
[
   (1,[1]),
   (2,[1]),
   (3,[1])
]

),
(2,
[
   (1,[1]),
   (2,[1]),
   (3,[1])
]

)
]
).


examplesN(
[
(1,father(katy,ellen),
min_max(
[
   [female(ellen),female(katy),parent(katy,ellen)],
   [female(ellen),male(katy),parent(katy,ellen)]
]
,
[
   (parent(_,_),[ (parent(katy,ellen),3,[1])]),
   (male(_),[ (male(katy),2,[2])]),
   (female(_),[ (female(ellen),1,[1]), (female(katy),2,[1])])
]
)),
(2,father(oliver,philipp),
min_max(
[
   [male(oliver),male(philipp)]
]
,
[
   (parent(_,_),[ (parent(philipp,oliver),3,[2]), (parent(oliver,philipp),3,[1])]),
   (male(_),[ (male(oliver),1,[1]), (male(philipp),2,[1])])
]
))
]
).
tabs(neg,
[
(1,
[
   (1,[1]),
   (2,[1,2]),
   (3,[1])
]

),
(2,
[
   (1,[1]),
   (2,[1]),
   (3,[1,2])
]

)
]
).


target(1,pos,father(john,mary)).
target(2,pos,father(david,steve)).
target(1,neg,father(katy,ellen)).
target(2,neg,father(oliver,philipp)).


domains(1,
pos,[
   person([john,mary])
]
).
domains(2,
pos,[
   person([david,steve])
]
).
domains(1,
neg,[
   person([katy,ellen])
]
).
domains(2,
neg,[
   person([oliver,philipp])
]
).
