Learned PVS Rule for Platoon Placement

plausible upper bound IF

PC     IS   PLACE-COMPANY,  UNIT-ID C,
       IN   AR,         TO-DESTROY-ENEMY-IN E,   FOR M
AR     IS   something
AV     IS   something
E      IS   something
HS-I   IS   something,  IN AR,   VISIBLE E
HS-TP1 IS   something,  IN AR,   VISIBLE E
HS-TP2 IS   something,  IN AR,   VISIBLE E
C      IS   something
       COMMANDS P3,     COMMANDS P2,   COMMANDS P1
P1     IS   something
P2     IS   something
P3     IS   something
M      IS   something,  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   company-d-area-of-responsibility
AV     IS   avenue-of-approach-d
E      IS   engagement-area-d
HS-I   IS   hill-sector-868-1,   IN AR,   VISIBLE E
HS-TP1 IS   hill-sector-863-2,   IN AR,   VISIBLE E
HS-TP2 IS   hill-sector-875-2,   IN AR,   VISIBLE E
C      IS   company-d
       COMMANDS P3,     COMMANDS P2,    COMMANDS P1
P1     IS   platoon-d1
P2     IS   platoon-d2
P3     IS   platoon-d3
M      IS   defend-area-mission-d,   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