A rule macro predicate (RMP) is a predicate that is used to state a rule in a compact way that can be read more easily and supported with removal modules for more efficient reasoning. #$genls and #$relationAllExists are examples of commonly used rule macro predicates.
