changed Exist to Exists, in keeping with both CL and RuleML

also fixed an OutDiscourse appearance in one example

Signed-off-by: greenTara <taraathan@gmail.com>