karcyckiku lujvo

c1 is a car key opening/unlocking a lock of car c2=k1, and having relevant properties c3.