If any uncovered examples set, g~-, remains after FOIL's performance, this is due to the lack of sufficient examples.
the system tries to improve recall by growing set g+ with artificial examples (pseudo-examples), as explained in 3.2.