examples and changes for LTL to semi Structured English