ISSS

See links:

Welcome to GoodReason: Convert your INPUT into GoodReason – metasystem -model as JSON