Added more convenience methods to TimeDomainAxiomLookup. Added more tests to test case.