Every time attribute A appears, it is matched with the same value of attribute B, but not the same value of attribute C. Therefore, it is true that:

• A → B.
• A → C.
• A → (B,C).
• (B,C) → A.