About@Chiranmoy
Human(x): x is a human................................................................
Mistakes(x): x makes mistakes....................................................
Learns(x): x learns from past mistakes........................................
∀x(Human(x) -> Mistakes(x))........................................................
∃x(Human(x) ∧ Learns(x)).............................................................