Deļ¬nition: The statement (q1 MIN q2) expresses that the number or quantity q1 is smaller than the number or quantity q2. See also MINE.
(q1 MIN q2)
q1
q2