add testcase for nested positional atoms

Author: tara

PSOATransRun/testsynsem/atomic_implicit_1tuple1_nested-oid-1tuple1/atomic_implicit_1tuple1_nested-oid-1tuple1-KB.psoa

@@ -0,0 +1,19 @@
+RuleML(
+  Assert(
+    % atomic-formula expressivity
+    % relationships
+    % single tuple
+    %   dependent tuple
+    %     implicit tuple
+    %   1 element
+    %     nested atom
+    %       oid
+    %       single tuple
+    %         1 element
+    %           constant arguments
+    p(o#q(a))
+    % Translated KB:
+    % prdtupterm('_o','_q','_a').
+    % memterm('_o','_q').
+    % '_p'('_o').
+) )

PSOATransRun/testsynsem/atomic_implicit_1tuple1_nested-oid-1tuple1/atomic_implicit_1tuple1_nested-oid-1tuple1-answer1.psoa

@@ -0,0 +1 @@
+Yes

PSOATransRun/testsynsem/atomic_implicit_1tuple1_nested-oid-1tuple1/atomic_implicit_1tuple1_nested-oid-1tuple1-answer2.psoa

@@ -0,0 +1 @@
+No

PSOATransRun/testsynsem/atomic_implicit_1tuple1_nested-oid-1tuple1/atomic_implicit_1tuple1_nested-oid-1tuple1-query1.psoa

@@ -0,0 +1,4 @@
+p(?#q(a))
+% ((prdtupterm(Q1,'_q','_a'),memterm(Q1,'_q')),'_p'(Q1)).
+% Correctness Criterion: Query for ground atom with implicit tuple having arity 1 containing 
+%  one nested oidful (don't care variable) atom with one argument against KB containing only a matching ground atom answers "Yes".

PSOATransRun/testsynsem/atomic_implicit_1tuple1_nested-oid-1tuple1/atomic_implicit_1tuple1_nested-oid-1tuple1-query2.psoa

@@ -0,0 +1,5 @@
+p(q(a))
+% '_p'('_q'('_a')).
+% Correctness Criterion: Query for ground atom with implicit tuple having arity 1 containing 
+%  a functional expression with one argument against KB containing only a 
+% similar ground nested atom answers "No".