proper subformula
زیر فرمول سره
subformula
زیرفرمول