import_uri_relative.clif revision 21b2c993ba4467ad14509265270ad71ef59c4064
(cl-text monoid
(cl-imports ./import_semigroup.clif)
(exists (e)
(forall (x)
(and (= x (op e x))
(= x (op x e)))))
)
(cl-text nonsense2 (nonsense2))