Function symbols
rule(condition, conclusion)
In Reason-Based Logic, rules are treated as objects, so they are represented as terms
{fact1, fact2, ..., factn} (for n = 1, 2, ...)
Symbols of this form are used to refer to the sets of facts that are reasons for some conclusion
E.g., {thief(mary), minor(mary)}