Did you know ... Search Documentation:
Liberation Day in the NetherlandsPredicate atom_number/2