new predef lib pred (#449)

* new predef lib pred

* update test cases

lib/haskell/natural4/src/LS/XPile/LogicalEnglish/Pretty.hs

@@ -288,6 +288,13 @@ libHCs =
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/date-time/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/date-time/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/ditto-with-spaces/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/ditto-with-spaces/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/ditto/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/ditto/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/filtering-will-not-remove-all-nlas-in-eq-class/actual.le

@@ -51,6 +51,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/filtering-will-not-remove-all-nlas-in-eq-class/expected.le

@@ -51,6 +51,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/indentation-propn-databreach/actual.le

@@ -53,6 +53,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/indentation-propn-databreach/expected.le

@@ -53,6 +53,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-in/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-in/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-max-terms-simple/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-max-terms-simple/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-min-terms-simple/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-min-terms-simple/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-not-diff-from/actual.le

@@ -50,6 +50,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-not-diff-from/expected.le

@@ -50,6 +50,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-num-simple/actual.le

@@ -50,6 +50,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/is-num-simple/expected.le

@@ -50,6 +50,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/or-anaphora-with-ditto/actual.le

@@ -53,6 +53,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/or-anaphora-with-ditto/expected.le

@@ -53,6 +53,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/product-twiceof/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/product-twiceof/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/rpc-rpeq-year/actual.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/rpc-rpeq-year/expected.le

@@ -49,6 +49,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.

lib/haskell/natural4/test/Testcases/LogicalEnglish/rpnary-is-max-x-where/actual.le

@@ -50,6 +50,13 @@ the knowledge base lib includes:
   if d1 is strictly before d0.
 
   % Nested accessor predicates.
+  a class's a field is a value
+  if field is different from name
+  and field is different from id
+  and a class0's name is class
+    or class0's id is class
+  and class0's field is value.
+
   a class's a field0's a field1 is a value
   if class's field0 is a class0
   and class0's field1 is value.