3 (wheretheunderlinedentryisthecentralpart.)ontheotherhand published presentations and documents on DocSlides.
usedtoexpressapropositionotherthanitsliteralconten...
ProdA! (S;uA))(S;u)ActionA!fg (S;uA))((S);...
2Thisstatusmessageshowsafairlyusualswitchinperson-...