(=> (Inherited-Through-Class-Of-Relation ?R) (=> (And (Holds ?R ?X ?C1) (Class ?C1) (Class ?C2) (Subclass-Of ?C2 ?C1)) (Holds ?R ?X ?C2)))
(<=> (Inherited-Through-Class-Of-Relation ?R) (And (Binary-Relation ?R) (=> (And (Holds ?R ?X ?C1) (Class ?C1) (Class ?C2) (Subclass-Of ?C2 ?C1)) (Holds ?R ?X ?C2))))