rules = [[pattern={2}] with vars frozenset([QUERY, PLABEL, LOCLABEL, q, ZLABEL, q1, q2, q3, COL, SPARQL-QUERY, FC, LOC, SLABEL, RESULTS]), [pattern={q rdf:type qpa_:Query}] with vars frozenset([QUERY, PLABEL, LOCLABEL, q, ZLABEL, q1, q2, q3, COL, SPARQL-QUERY, FC, LOC, SLABEL, RESULTS]), [pattern={2}] with vars frozenset([QUERY, PLABEL, LOCLABEL, q, ZLABEL, q1, q2, q3, COL, SPARQL-QUERY, FC, LOC, SLABEL, RESULTS]), [pattern={abr:P rdf:type owl:TransitiveProperty}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P rdf:type owl:SymmetricProperty}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:C1 rdfs:subClassOf abr:C2}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P1 rdfs:subPropertyOf abr:P2}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:N1 owl:sameAs abr:N2}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P rdfs:domain abr:C}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P rdfs:range abr:C}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P rdfs:domain abr:C1}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2]), [pattern={abr:P rdfs:range abr:C1}] with vars frozenset([abr:N1, abr:P, abr:N4, abr:C1, abr:S, abr:N, abr:C, abr:N3, abr:O, abr:P2, abr:C2, abr:P1, abr:N2])] goal rules = [] defaultdict(, {'rule': 12, 'fact': 379}) time reasoning took= 4.1894299984 of which 3.75472617149 was after loading, and 3.68556308746 was actual reasoning I can prove the following compliance statements: n3 = (query-0, rdf:type, qpa:Query, None) [premise] n4 = (query-0, qpa:user, george, None) [premise] n389 = [pattern={2}] with vars frozenset([QUERY, PLABEL, LOCLABEL, q, ZLABEL, q1, q2, q3, COL, SPARQL-QUERY, FC, LOC, SLABEL, RESULTS]) [premise] n405 = [pattern={9}] with vars frozenset([q, QUERY, q1, q2, _g_L60C6, LOC, RESULTS, COLUMN, _g_L59C5, SLABEL, PLABEL, ZLABEL, SPARQL-QUERY, FC, COL, LOCLABEL, q3]) <= http://dig.csail.mit.edu/2009/IARPA-PIR/test/george-wilson#DoNotRetrieveLivingWest(n3 = (query-0, rdf:type, qpa:Query, None), n4 = (query-0, qpa:user, george, None), n389 = [pattern={2}] with vars frozenset([QUERY, PLABEL, LOCLABEL, q, ZLABEL, q1, q2, q3, COL, SPARQL-QUERY, FC, LOC, SLABEL, RESULTS])) n3998 = ('closedWorld', li94) [premise] n4000 = (query-0, air:non-compliant-with, FilterByLocation, None) <= http://dig.csail.mit.edu/2009/IARPA-PIR/test/george-wilson#CheckIfFilteredByLocationThe user did not filter by any location attribute(n405 = [pattern={9}] with vars frozenset([q, QUERY, q1, q2, _g_L60C6, LOC, RESULTS, COLUMN, _g_L59C5, SLABEL, PLABEL, ZLABEL, SPARQL-QUERY, FC, COL, LOCLABEL, q3]), n3998 = ('closedWorld', li94))