Add methods for printing all resolved facts