Relation BASED-ON

An inferential process to make a judgment is usually based on intermediate interpretants.
Arity: 2
Subrelation-Of: Representation-relation
Axioms:
(<=> (Based-On ?A ?B)
     (And (Representation-Relation ?A ?B)
          (Exists (?C)
                  (And (Judgment-Of ?A ?C) (Interpretant ?C ?B)))))