SUPPORTS

A protein may support one or more mutations. There are many relations where the existence of an object is necessary to support the existence of another, but the existence is necessary, not sufficent.

In logic, this is represented by an implication, but the implication is the reverse of causation      IF Mutation THEN Protein
the Mutation is only true when Protein is true..

The necessary

one to many existence relation is represented by the SUPPORTS operator.

Pin1 carries the logical control.

If Pin1 is True, then if Pin2 exists, then Pin3 may exist. If Pin2 does not exist, then Pin3 does not exist. If Pin3 does not exist, then Pin2 may exist.

If Pin1 is False, then Pin3 does not exist, and there is no connection between it and Pin2.

Logical Existence