First, the number of additional atoms that need to be added to the network can be large depending on the domain size of the predicate's arguments.
the system configurations underlying the three rows in this table are the same as those in table 2.