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

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

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