Comment : Charset=windows-1252
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(0))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))TUPLE(N(A)II(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(3))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(A)II(BEGIN(3)END(5)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(B)II(BEGIN(1)END(9)))TUPLE(N(A)II(BEGIN(6)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(7)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(3))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(B)II(BEGIN(1)END(9)))TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(A)II(BEGIN(3)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(7)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(2)end(3))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))TUPLE(N(A)II(BEGIN(1)END(2)))TUPLE(N(A)II(BEGIN(3)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(2)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(A)II(BEGIN(1)END(2)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(2)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(2)))TUPLE(N(A)II(BEGIN(7)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(2))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(2)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(5)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(A)II(BEGIN(6)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(5)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(7)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))TUPLE(N(A)II(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(6)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(A)II(BEGIN(7)END(9)))TUPLE(N(B)II(BEGIN(1)END(9)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5)))tuple(n(a)ii(begin(6)end(9)))tuple(n(b)ii(begin(1)end(9))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(6))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))TUPLE(N(B)II(BEGIN(1)END(9)))))
END
