-log inferred policy triples
-reset spin module to improve perf?