BUG: Misuse of spatially projects onto in textual definition for occurs in

[gregfowlerphd]

Describe the bug

The definition reads:

b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time t, if b exists at t then c exists at t & there exist spatial regions s and s' where b spatially projects onto s at t & c occupies spatial region s' at t & s is a continuant part of s' at t

Let’s start with a minor issue. In the phrase 'for all time t', shouldn’t 'time' be 'times'?

Turning to the main issue: The domain and range for spatially projects onto are specified to be spatiotemporal region and spatial region, respectively. But the italicized clause indicates that it can obtain between a process or process boundary and a spatial region.

Expected behavior

I believe 'b spatially projects onto s' should be changed to 'r spatially projects onto s'. Also, 'time' should probably be changed to 'times'.