Kuantor Dan Logika Predikat - Indriani Widiastuti, Nelly (2012)