Spacetimes with Semantics (III)