Is it possible to put policy into descriptor?

[dr-orlovsky]

Specifically when parsing string representation of the descriptor.

[sanket1729]

Can you elaborate with an example? Do you mean using the policy string as Pk?

[dr-orlovsky]

For instance, not write tr(acc0,{multi_a(...),{and_v(v:multi_a(...),after(10)),and_(v:multi_a(...),after(100))}}) but instead tr(acc0,{multi_a(...),{and(multi_a(...),after(10)),and(multi_a(...),after(100))}})