Skip to content

Commit 786bedd

Browse files
author
tara
committed
add testcase for atom with full mixed descriptor
1 parent 7130109 commit 786bedd

13 files changed

+43
-0
lines changed

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-KB.psoa‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
RuleML(
2+
Assert(
3+
% atomic-formula expressivity
4+
% oidful
5+
% mixed descriptor
6+
o#p(+[a] -[b] m1->n1 m2+>n2)
7+
% Translated KB:
8+
% prdtupterm('_o','_p','_a').
9+
% tupterm('_o','_b').
10+
% sloterm('_o','_m1','_n1').
11+
% prdsloterm('_o','_p','_m2','_n2').
12+
% memterm('_o','_p').
13+
) )

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer1.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer2.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer3.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer4.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer5.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-answer6.psoa‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Yes

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-query1.psoa‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
o#p(+[a] -[b] m1->n1 m2+>n2)
2+
% (prdtupterm('_o','_p','_a'),tupterm('_o','_b'),sloterm('_o','_m1','_n1'),prdsloterm('_o','_p','_m2','_n2'),memterm('_o','_p')).
3+
% Correctness Criterion: Query for ground atom with fully mixed descriptor
4+
% against KB containing only that ground atom answers "Yes".

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-query2.psoa‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
o#p(a)
2+
% (prdtupterm('_o','_p','_a'),memterm('_o','_p')).
3+
% Correctness Criterion: Query for oidful ground atom with implicit (dependent) tuple, arity 1
4+
% against KB containing only matching ground atom with fully mixed descriptor answers "Yes".

‎PSOATransRun/testsynsem/atomic_full_descriptor_nonnested/atomic_full_descriptor_nonnested-query3.psoa‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
p(a)
2+
% (prdtupterm(Q1,'_p','_a'),memterm(Q1,'_p')).
3+
% Correctness Criterion: Query for oidless ground atom with implicit (dependent) tuple, arity 1
4+
% against KB containing only matching ground atom with fully mixed descriptor answers "Yes".

0 commit comments

Comments
 (0)