MainPart.xml

<!--这段是一个例子-->
<ACTIVITIES>
    <ACT_NAME>Cam_Takephoto</ACT_NAME>
    <ACT_PARAM>
        <PARAM_NAME>Direction </PARAM_NAME>
        <PARAM_VALUE>0.14,0.25,0.55</PARAM_VALUE>
    </ACT_PARAM>
    <START> <INTERVAL STARTPOINT="0" ENDPOINT="0"/> </START>
    <END> <INTERVAL STARTPOINT="0" ENDPOINT="0"> </END>
    <DURATION><INTERVAL STARTPOINT="1" ENDPOINT="10"/> </DURATION>
    <RES_NEED>
        <RES_NAME>Power</RES_NAME>
        <NEED_QUANTITY>10</NEED_QUANTITY>
    </RES_NEED>
    <TL_NAME>CAMERAACTIVE</TL_NAME>
</ACTIVITIES>

<!--下面才是有用的-->
<DOMAIN name="satellite">
    <REQUIREMENTS>strips, equality, typing, fluents, durative-actions</REQUIREMENTS>
    <TYPES>satellite, direction, instrument, mode</TYPES>
    <PREDICATES>
        <on_board>
            <instrument>i</instrument>
            <satellite>s</satellite>
        </on_board>
        <!--下面懒的写了-->
    </PREDICATES>
    <ACTION type="durative">
        <NAME>take_image</NAME>
        <PARAM>
            <satellite>s</satellite>
            <!--又不想写了-->
        </PARAM>
        <DURATION>7</DURATION>
        <DURATION>
            <function name="calibration_time">
                <instrument>i</instrument>
            </function>
        </DURATION>
        <CONDITION>
            <calibrated mainType="and" keepingType="over all" itselfType="">
                <instrument>i</instrument>
            </calibrated>
            <on_board type="over all">
                <instrument>i</instrument>
                <satellite>s</satellite>
            </on_board>
            <supports type="over all">
                <instrument>i</instrument>
                <mode>m</mode>
            </supports>
            <power_on type="over all">
                <instrument>i</instrument>
            </power_on>
            <pointing type="over all">
                <satellite>s</satellite>
                <direction>d</direction>
            </pointing>

            <power_on type="at end">
                <instrument>i</instrument>
            </power_on>        
        </CONDITION>
        <EFFECT>
            <have_image type="at end">
                <direction>1</direction>
                <mode>1</mode>
            </have_image>
        </EFFECT>
    </ACTION>
</DOMAIN>