(= (Inverse Representation-Relation) Bases) (<=> (Bases ?A ?B) (And (Exists (?C) (And (Interpretant-Of ?A ?C) (Judgment ?C ?B))) (Entity ?A) (Entity ?B)))