s5 code snippets in csharp

create a s5 modal logic system class in csharp

design generic s5 modal logic system in csharp