CAUSE

        CAUSE(A,B) ! A and B are objects

Pin1 is a logical control. Pins 2 and 3 connect to objects through existence links.

A mutated protein can cause one or more diseases. This one to many relation is represented by the CAUSE operator.

Pin1 carries the logical control. If Pin1 is True, there is an existence link between Pin2 and the other pins.

Genes that are only active during certain parts of the life timeline (adolescence, say) are controlled through Pin1.

Pin2 connects to the Protein. If the logical condition for different diseases are different, multiple CAUSE operators are used, with a Layer operator ANDing to the Protein.

Pins 3 and up connect to the Disorders/Diseases.

If two or more proteins cause the same disease, an OR operator is inserted before the disease. Similarly, if a protein causes more than one disease, an AND operator is inserted around the protein.

Existence

Existence can mean either non-existence, or the effects are not to be considered for the current analysis.

If the logical control is True, then if the protein currently doesn't exist, the disease(s) doesn't exist, and vice versa.

If the logical control is False or doesn't exist, there is no link between protein and disease.

Logical Existence