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