Skip to content
Permalink
Browse files

Correct typo in axiom in all related input files

Correct axiom to all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
  • Loading branch information...
jessiezj-li committed Aug 29, 2018
1 parent c1d6e67 commit 54a223f0022053f1d2db8ed47d38b0fd8ec5f364
Showing with 30 additions and 30 deletions.
  1. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/axiom 1.in
  2. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/axiom 2.in
  3. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/axiom 3.in
  4. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/axiom 4.in
  5. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-=.in
  6. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-a.in
  7. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-b.in
  8. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-d.in
  9. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-di.in
  10. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-e.in
  11. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-ei.in
  12. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-m.in
  13. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-mi.in
  14. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-o.in
  15. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-oi.in
  16. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-s.in
  17. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 1-si.in
  18. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-=.in
  19. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-a.in
  20. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-b.in
  21. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-d.in
  22. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-di.in
  23. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-e.in
  24. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-ei.in
  25. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-m.in
  26. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-mi.in
  27. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-o.in
  28. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-oi.in
  29. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-s.in
  30. +1 −1 ontologies/allen_interval_algebra/mappings/theorems/allen2boundedmeeting/bounded axiom 2-si.in
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
@@ -121,7 +121,7 @@ all x all y all z ((d(x,y) & ei(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | d(x,z) | s(
%4th row - contains
all x all y all z ((di(x,y) & b(y,z)) -> (b(x,z) | o(x,z) | m(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & a(y,z)) -> (a(x,z) | oi(x,z) | di(x,z) | mi(x,z) | si(x,z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | (x=z))).
all x all y all z ((di(x,y) & d(y,z)) -> (o(x,z) | oi(x,z) | d(x,z) | di(x,z) | s(x,z) | si(x,z) | e(x,z) | ei(x,z) | (x=z))).
all x all y all z ((di(x,y) & di(y,z)) -> di(x,z)).
all x all y all z ((di(x,y) & o(y,z)) -> (o(x,z) | di(x,z) | ei(x,z))).
all x all y all z ((di(x,y) & oi(y,z)) -> (oi(x,z) | di(x,z) | si(x,z))).
Oops, something went wrong.

0 comments on commit 54a223f

Please sign in to comment.
You can’t perform that action at this time.