validate a list of outputs with more than one element
changes for testing changes to GeneralEvaluationToMemberRule
make GeneralEvaluationToMemberRule handle EvaluationLinks
with ListLinks of any number of arguments
a small correction to get multiple outputs for a single rule application
added stv to examples for inference to take place
style corrections
Makes MemberToEvaluationRule input format correspond to
the output format of GeneralEvaluationToMemberRule, and
support multiple arguments.