Facts, rules, bodys if and or
first
second