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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
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))body(tuple(n(b)))))
Reply   : RELATION(HEADING(N(NAME)II(INTINTERVAL))BODY(TUPLE(N(A)II(BEGIN(1)END(5)))))
END
