Predicate symbols
Valid(rule(condition, conclusion))
Reason(fact, state_of_affairs)
Excluded(rule(condition, conclusion), fact, state_of_affairs)
Applicable(rule(condition, conclusion), fact, state_of_affairs)
Applies(rule(condition, conclusion), fact, state_of_affairs)
Outweighs(reasons_pro, reasons_con, state_of_affairs)