[RIF] test case conclusions

In the existing set of tests, a few of  the conclusions need** to be
condition formulas  (eg [1]),  none of them need to be document 
formulas, and by far most of them can be either. Do we want to have
a style convention that says they should be conditions if they can,
and documents only if they need to be (or the reverse)?  Or just leave
it to the preference  of the submitter?

Stella
 
[1] 
http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_1

**although, couldn't those that entail non-atomic conditions also be
    be represented as:
        premises:
                 ....
                 ...
 
              test:passed()  :-  Or (... )

     conclusion:
            Document (
               Group (
                    test:passed() 
               )
            )

   (it's not as readable for a human, I think)