The following is a made-up rule in the style of rules used in R1/XCON:
(P
Rule803
(GOAL ^STATUS ACTIVE
^NAME ASSIGN-POWER-SUPPLY
^CABINET < CAB> )
(AMPS ^CABINET < CAB> ^VALUE {< A> > 5})
(SPACE ^CABINET < CAB> ^VALUE {< S> > 7})
--->
(ASSERT POWER-SUPPLY ^CABINET < CAB>
^TYPE PS101)
(REMOVE 1)
(MODIFY 3 ^VALUE (COMPUTE < S> - 7))
(MAKE GOAL ^STATUS ACTIVE ^NAME POWER-CORD)
)
Note how much of this rule involves control. This
is typical of OPS-5 rules.