ba_1 := v-intr-suAg-MOTIONDIRECTED Xintr,tr,ditr,ev0 
da_121 := v-intr-suTh-PROPTY Xintr,tr,ditr,ev0 
