[SLE] ~ semantics & and &&