File:PL3.A.Semantics.20160802.pdf