Archived tweet #11026 from the @leastfixedpoint Twitter Archive

Ad(place, assertion) -- `assertion` is soon to hold at `place` Ex(place, assertion) -- `assertion` holds or recently held at `place` Hic(place) -- there is or has recently been such a place as `place`