PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ???(h) Lump-Sum Credit Payment.???If a converted employee dies before attaining early deferred retirement age, such employee shall be treated as a former employee who dies not retired for purposes of payment of the lump-sum credit under section 8342
http://www.w3.org/ns/prov#wasQuotedFrom
  • cornell.edu