Comment : Charset=windows-1252
Request : inquire minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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 minus(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)))))

Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(0))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(3))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(3)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(21))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1)end(27))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(27)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(-1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : 
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(3))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(3)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(21))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(27))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(27)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(1))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY())
Request : 
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(3)))tuple(attr(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(3)END(5)))TUPLE(ATTR(BEGIN(33)END(35)))TUPLE(ATTR(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(5)))tuple(attr(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(33)END(35)))TUPLE(ATTR(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2)end(7)))tuple(attr(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(33)END(35)))TUPLE(ATTR(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(2))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5)end(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5)end(7))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5)end(21))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(5))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6)end(17))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6)end(21))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(21)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6)end(27))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))TUPLE(ATTR(BEGIN(27)END(35)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6)end(27)))tuple(attr(begin(31)end(37))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(27)END(31)))TUPLE(ATTR(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr(intinterval))body(tuple(attr(begin(1)end(5)))tuple(attr(begin(21)end(35))))),relation(heading(attr(intinterval))body(tuple(attr(begin(6))))))
Reply   : RELATION(HEADING(ATTR(INTINTERVAL))BODY(TUPLE(ATTR(BEGIN(1)END(5)))))

Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(9))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1)end(41))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(3)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(50))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(1))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(45)end(50))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(50)END(65))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(50))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(45)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(45)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(3)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(45))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(45))ATTR1(BEGIN(1)END(5)))TUPLE(ATTR2(BEGIN(45)END(65))ATTR1(BEGIN(1)END(2)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(65)end(70))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(9))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))

Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(0))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(1))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(3))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(5))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(7))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1)end(27))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(-1))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(1))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(3))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY())
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(7))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(27))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(3))attr2(begin(-1)end(30)))tuple(attr1(begin(12)end(33))attr2(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(5))attr2(begin(-1)end(30)))tuple(attr1(begin(12)end(33))attr2(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2)end(7))attr2(begin(-1)end(30)))tuple(attr1(begin(12)end(33))attr2(begin(12)end(33))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(2))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(5)end(5))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(5)end(7))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(5))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : 
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(6)end(17))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(6)end(21))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(6)end(27))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(6)end(27))attr2(begin(2)end(27)))tuple(attr1(begin(31)end(37))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
Request : inquire minus(relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(1)end(5))attr2(begin(41)end(65))))),relation(heading(attr1(intinterval)attr2(intinterval))body(tuple(attr1(begin(6))attr2(begin(-1)end(30))))))
Reply   : RELATION(HEADING(ATTR1(INTINTERVAL)ATTR2(INTINTERVAL))BODY(TUPLE(ATTR2(BEGIN(41)END(65))ATTR1(BEGIN(1)END(5)))))
END
