Deļ¬nition: The statement (q1 MAJ q2) expresses that the number or quantity q1 exceeds the number or quantity q2. See also MAJE.
(q1 MAJ q2)
q1
q2