Text this: A tool for capturing safety properties from critical system specifications written in SOFL