Developing class for verification of Tavshil on Kirah

We are studying Mishnah Shabat 3. so, I decided to make the way easier for me – to program it. Here is a draft code for this Mishnah: