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