proper subformula
type: Concept
broader: subformula
preferred label: زیر فرمول سره @fa

subformula
type: Concept
broader: formula
narrower: proper subformula
preferred label: زیرفرمول @fa

formula
type: Concept
narrower: subformula
preferred label: فرمول @fa