Comment : Charset=windows-1252
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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(3)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(-1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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(3)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(7))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1))))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY())
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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(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))))),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(1)END(2)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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(1)END(5)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : 
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
Request : inquire semiminus(relation(heading(n(name)ii(intinterval))body(tuple(n(a)ii(begin(1)end(5))))),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)))))
END
