Refined PVS Rule (after additional examples)

Plausible upper bound IF

PC     IS   PLACE-COMPANY,   UNIT-ID C
       IN   AR,   TO-DESTROY-ENEMY-IN  E,   FOR  M
AV     IS   avenue-of-approach
E      IS   engagement-area
HS-I   IS   hill-sector,   IN  AR,   VISIBLE  E
       DISTANCE-TO-ENGAGEMENT-AREA   "close"
HS-TP1 IS   hill-sector,   IN  AR,   VISIBLE  E
HS-TP2 IS   hill-sector,   IN  AR,   VISIBLE  E
C      IS   something,   NUMBER-OF-PLATOONS  3
       COMMANDS  P3,   COMMANDS  P2,   COMMANDS  P1
P1     IS   something
P2     IS   something
P3     IS   something,   WEAPONS-CLASSIFICATION  "light"
M      IS   defend-area-mission,   WITH  C,   IN  AR

Plausible lower bound IF

PC     IS   PLACE-COMPANY,   UNIT-ID  C
       IN   AR,   TO-DESTROY-ENEMY-IN  E,   FOR  M
AR     IS   area-of-responsibility
AV     IS   avenue-of-approach
E      IS   engagement-area
HS-I   IS   hill-sector,   IN  AR,   VISIBLE  E
       DISTANCE-TO-ENGAGEMENT-AREA   "close"
HS-TP1 IS   hill-sector,   IN  AR,   VISIBLE  E
HS-TP2 IS   hill-sector,   IN  AR,   VISIBLE  E
C      IS   company,   NUMBER-OF-PLATOONS  3
       COMMANDS  P3,   COMMANDS  P2,   COMMANDS  P1
P1     IS   armored-platoon
P2     IS   armored-platoon
P3     IS   Infantry-platoon,   WEAPONS-CLASSIFICATION "light"
M      IS   defend-area-mission,   WITH  C,   IN  AR

THEN

PIP    IS   PLACE-INFANTRY-PLATOON,   UNIT-ID  P3,   IN HS-I
PTP1   IS   PLACE-TANK-PLATOON,   UNIT-ID  P1,   IN  HS-TP1
PTP2   IS   PLACE-TANK-PLATOON,   UNIT-ID  P2,   IN  HS-TP2