fɔ_373 := v-ditr-obPRTOFsu-suAg_iobBen_obTh & 
kpa_782 := v-tr-obPossp_obPRTOFspec-suTh_obLocus-EXTENSION & 
kpa_783 := v-tr-obPossp_obPRTOFspec-suAg_obTh-EXTENSION & 
