<p> Given the triple <code>(subClassOf SHELLFISH SEAFOOD)</code> derive that <code>?x=SEAFOOD</code> is a member of the Value Collection <code>(subClassOf SHELLFISH ?x)</code>. <p> Membership Rule <p> This proof step indicates that, in JTP's frame system, a specific Value Collection contains the value in question. <p> A Value Collection can be thought of as the set of values of <code>?x</code> that satisfy a triple of the form <code>(property subject ?x)</code>, or of the form <code>(property ?x value)</code>. <p> Given a triple <code>(property subject value)</code> this proof step could represent the inference that <code>?x=value</code> belongs to the Value Collection <code>(property subject ?x)</code>, or the inference that <code>?x=subject</code> belongs to the Value Collection <code>(property ?x value)</code>. 20060105112055 20041014145053