Skip to content
Permalink
Browse files

updated comments in piece with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 4a10592 commit ab0d5436eceeae06d80f121244bc348f33cf0f63
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_antisymmetry.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Antisymmetry")
(cl-text 'Antisymmetry')

(forall (x y)
(if (and (pieceOf x y)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_dense.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Atomicity")
(cl-text 'Atomicity')

(forall (x)
(exists (y)
@@ -1,14 +1,14 @@
(cl-text http://colore.oor.net/piece/piece_def.clif

(cl-comment "Proper Parthood")
(cl-comment 'Proper Parthood')
(forall (x y)
(iff (properPieceOf x y)
(and (pieceOf x y)
(not (x=y)))

)

(cl-comment "Overlaps")
(cl-comment 'Overlaps')
(forall (x y)
(if (exists (z)
(and
@@ -18,7 +18,7 @@

)

(cl-comment "Disjointness")
(cl-comment 'Disjointness')
(forall (x y)
(iff (pieceDisjoints x y)
(not (pieceOverlaps x y)))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_inclusion.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Inclusion Space")
(cl-text 'Inclusion Space')

(forall (x y)
(if (not (pieceOf x y))
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_reflexivity.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Reflexivity")
(cl-text 'Reflexivity')

(forall (x)
(pieceOf x x)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_transitivity.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Transitivity")
(cl-text 'Transitivity')

(forall (x y z)
(if (and (pieceOf x y)
@@ -1,7 +1,7 @@
(cl-text http://colore.oor.net/piece/piece_weak_supplementation.clif)
(cl-imports http://colore.oor.net/piece/piece_def.clif)

(cl-text "Weak Supplementation Principle")
(cl-text 'Weak Supplementation Principle')

(forall (x y)
(if (properPieceOf x y)

0 comments on commit ab0d543

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.