KeyConcept< T, ID > Node1 KeyConcept< T, ID > + constraints() Node2 T Node2->Node1 +a