Seems pretty cool but what the heck is the syntax? "User shall send login message to server" seems almost exactly like "Server shall send req_resolution to c

Seems pretty cool but what the heck is the syntax? "User shall send login message to server" seems almost exactly like "Server shall send req_resolution to ctrl_entity" yet the former throws an unhelpful error. Your parser might want to just internally slap a `_` between unexpected tokens and try reparsing. Humans tend to use spaces between things.