Predicate logic with rule composition
