Multi-Domain Reasoning