Elaboration using DPASR representation