Text this: Automated reasoning for derivation of products in MD-SPLE