Here's a little gif of the new scenario editor in the version 1.4 of Blawx I released today. It allows the user to make fully-, partially-, or un-ground statements that are true, false, or unknown , answers the query with natural language explanations that set out the assumptions being used for unknowns, and then recommends additional fact statements that would be relevant to finding additional conclusions that are not based on assumptions. It's aimed at encoding statutes and regulations in such a way as to allow those encodings to be made, or at least validated, by lawyers and other non-programmers. Feedback welcome. https://github.com/Lexpedite/blawx. The new release is up at dev.blawx.com now.