(= (Inverse Relevant-For) Relevance-Domain-Of) (<=> (Relevance-Domain-Of ?A ?B) (And (Entity ?A) (Entity ?B)))