create implication keystone -> shimenawa
The shimenawa is literally how we know a keystone is a keystone. Without it, we could be looking at any old rock.
After this I also suggest keystone -> rock, the reason for which seems pretty straight forward. I would also suggest keystone -> shide but not as hastily. I see shimenawa does not implicate shide because (apparently) it is possible to have one without the other; however, I have yet to see a keystone without shide so I dunno.
Is it possible to make more then one implication per thread?