Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Lyn-Binding correct and incorrect rule formulation.
| Rule Text | |
|---|---|
| Correct | Rec(b) + Lyn(SH2, U) < - > Rec(b!1).Lyn(SH2!1, U) |
| Rec(b) + Lyn(U, SH2) < - > Rec(b!1).Lyn(SH2, U!1) | |
| Incorrect | Rec(b) + Lyn(SH2) < - > Rec(b!1).Lyn(SH2!1) |
| Rec(b) + Lyn(U) < - > Rec(b!1).Lyn(U!1) |
The bold domains are omitted in the incorrect rules.
