Comment : Charset=windows-1252
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(0))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(3))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(3)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : 
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(3))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(3)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : 
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(3))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(2)))TUPLE(ATTR(BEGIN(3)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(2)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(2)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(2)))))
Request : 
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : 
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire semiminus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
END
