Conjunction

Conjunction, commonly known as AND logic, is implemented using the comma (,) operator. That is, two predicates separated by comma are joined with AND statement. For example, if we have two predicates,

We can write the rule as,

The rule states that nina is the mother of kimaya if nina is the female parent of kimaya.

Disjunction

Disjunction, commonly known as OR logic is implemented using the semi-colon (;) operator. This means that two predicates separated by semi-colon are joined with OR statement. For example, if we have two predicates

Then, we can write the rule,

This means that kimaya is the child of X if X is father or mother of kimaya,