As Table  2 shows, Praline's accuracy drops upon removing   either of these constraints, highlighting their importance.
when using only one KB rule, dropping FUP clauses has a bigger influence that dropping Acyclic constraint clauses.