Presentation of facts and rules with relations.