[PDF] - Semantical evaluations as monadic second-order compatible PDF Document