2 files changed, 2 insertions, 2 deletions

diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
index 0b9d2ee..bd387b9 100644
--- a/src/resources/pagoda.properties
+++ b/src/resources/pagoda.properties
@@ -1,3 +1,3 @@
 debug=true
 useAlwaysSimpleUpperBound=false
-useSkolemUpperBound=false
\ No newline at end of file
+useSkolemUpperBound=true
\ No newline at end of file
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 3027a73..ed6589a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -370,7 +370,7 @@ class MyQueryReasoner extends QueryReasoner {
 
         relevantStore.importDataFromABoxOf(relevantSubset);
 
-        int queryDependentMaxTermDepth = 1; // TODO make it dynamic
+        int queryDependentMaxTermDepth = 10; // TODO make it dynamic
         int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null,
                                                                    queryDependentMaxTermDepth);
         queryRecord.addProcessingTime(Step.L_SKOLEM_UPPER_BOUND, t.duration());