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

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