follow alternative rspace entries without backtracking, explicitly resolve

[scpubgit/DX.git] / fragment.output / btdemo

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 0ed4020..c75951e 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -127,24 +127,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -199,24 +185,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -268,24 +240,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -378,24 +336,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         depends_on { CONTENTS_OF 0.Y }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?Y {{ d 1 e 2 f 3 }}
-        geometry_depends_on { CONTENTS_OF 0.Y }
-        aperture { VALUE_SET 0.Y }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq YValue 2
-    geometry_depends_on { CONTENTS_OF 0.YValue }
-    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition eq XValue 2
     geometry_depends_on { CONTENTS_OF 0.XValue }
     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
@@ -500,24 +444,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         depends_on { CONTENTS_OF 0.Y }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?Y {{ d 1 e 2 f 3 }}
-        geometry_depends_on { CONTENTS_OF 0.Y }
-        aperture { VALUE_SET 0.Y }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq YValue 2
-    geometry_depends_on { CONTENTS_OF 0.YValue }
-    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition eq XValue 2
     geometry_depends_on { CONTENTS_OF 0.XValue }
     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
@@ -604,24 +534,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -676,24 +592,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -745,24 +647,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     backtrack
-    remaining resolution_space {
-        proposition eq ?X {{ a 1 b 2 c 3 }}
-        geometry_depends_on { CONTENTS_OF 0.X }
-        aperture { VALUE_SET 0.X }
-        members {  }
-    }
-    backtrack
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }