The English term "predictate" matches the Italian term "verificare"