rename DScriptContext => Subject
rename DScriptEvidence => Solution