//Common Domain Editor, version 1.0, DAI, 1998
//Date: Thu Sep 17 11:30:49 GMT+01:00 1998
//File: /hame/stevep/cpedata/three_pigs_building.cpd
//java.version: 1.2beta4
//java.vendor: Sun Microsystems Inc.
//java.class.version: 45.3
//os.name: SunOS
//os.arch: sparc
//os.version: 5.6
//------------
%define-domain(three_pigs_building)
domain-level.label(Obj42)="Task Level"
domain-level.number(Obj42)=0
domain-level.contains(Obj42,Obj47)
process.label(Obj47)="Build House Plan"
process.expands(Obj47)=""
process.activity-spec(Obj47,Obj47as)
process.is-executable(Obj47)=true
process.start-timepoint(Obj47)=Obj47st
process.finish-timepoint(Obj47)=Obj47ft
include-node(Obj47c0)=Obj47n0
member(Obj47c0,Obj47as)
node.label(Obj47n0)="Finish"
node.xpos(Obj47n0)=220
node.ypos(Obj47n0)=79
finish.timepoint(Obj47n0)=Obj47n0bt
include-node(Obj47c1)=Obj47n1
member(Obj47c1,Obj47as)
node.label(Obj47n1)="Start"
node.xpos(Obj47n1)=32
node.ypos(Obj47n1)=79
start.timepoint(Obj47n1)=Obj47n1et
include-node(Obj47c2)=Obj47n2
member(Obj47c2,Obj47as)
node.label(Obj47n2)="build~required~house"
node.xpos(Obj47n2)=116
node.ypos(Obj47n2)=79
activity.pattern(Obj47n2)="build_required_house"
activity.begin-timepoint(Obj47n2)=Obj47n2bt
activity.end-timepoint(Obj47n2)=Obj47n2et
constraint.expression(Obj47c3)="before(Obj47n1et,Obj47n2bt)"
member(Obj47c3,Obj47as)
constraint.expression(Obj47c4)="before(Obj47n2et,Obj47n0bt)"
member(Obj47c4,Obj47as)
member(Obj47ann0,Obj47as)
annotation.xpos(Obj47ann0)=72
annotation.ypos(Obj47ann0)=26
constraint.expression(Obj47ann0)="This is the top
level task."
domain-level.label(Obj35)="House Model Level"
domain-level.number(Obj35)=1
domain-level.contains(Obj35,Obj41)
process.label(Obj41)="Build Basic House"
process.expands(Obj41)="build_required_house"
process.activity-spec(Obj41,Obj41as)
process.is-executable(Obj41)=false
process.start-timepoint(Obj41)=Obj41st
process.finish-timepoint(Obj41)=Obj41ft
include-node(Obj41c0)=Obj41n0
member(Obj41c0,Obj41as)
node.label(Obj41n0)="End"
node.xpos(Obj41n0)=227
node.ypos(Obj41n0)=57
finish.timepoint(Obj41n0)=Obj41n0bt
include-node(Obj41c1)=Obj41n1
member(Obj41c1,Obj41as)
node.label(Obj41n1)="Begin"
node.xpos(Obj41n1)=29
node.ypos(Obj41n1)=57
start.timepoint(Obj41n1)=Obj41n1et
include-node(Obj41c2)=Obj41n2
member(Obj41c2,Obj41as)
node.label(Obj41n2)="Build~House"
node.xpos(Obj41n2)=131
node.ypos(Obj41n2)=57
activity.pattern(Obj41n2)="build_house"
activity.begin-timepoint(Obj41n2)=Obj41n2bt
activity.end-timepoint(Obj41n2)=Obj41n2et
constraint.expression(Obj41c3)="before(Obj41n1et,Obj41n2bt)"
member(Obj41c3,Obj41as)
constraint.expression(Obj41c4)="before(Obj41n2et,Obj41n0bt)"
member(Obj41c4,Obj41as)
domain-level.contains(Obj35,Obj40)
process.label(Obj40)="Build Secure House"
process.expands(Obj40)="build_required_house"
process.activity-spec(Obj40,Obj40as)
process.is-executable(Obj40)=false
process.start-timepoint(Obj40)=Obj40st
process.finish-timepoint(Obj40)=Obj40ft
include-node(Obj40c0)=Obj40n0
member(Obj40c0,Obj40as)
node.label(Obj40n0)="End"
node.xpos(Obj40n0)=348
node.ypos(Obj40n0)=56
finish.timepoint(Obj40n0)=Obj40n0bt
include-node(Obj40c1)=Obj40n1
member(Obj40c1,Obj40as)
node.label(Obj40n1)="Begin"
node.xpos(Obj40n1)=29
node.ypos(Obj40n1)=56
start.timepoint(Obj40n1)=Obj40n1et
include-node(Obj40c2)=Obj40n2
member(Obj40c2,Obj40as)
node.label(Obj40n2)="Check Security"
node.xpos(Obj40n2)=227
node.ypos(Obj40n2)=56
activity.pattern(Obj40n2)="check_security"
activity.begin-timepoint(Obj40n2)=Obj40n2bt
activity.end-timepoint(Obj40n2)=Obj40n2et
include-node(Obj40c3)=Obj40n3
member(Obj40c3,Obj40as)
node.label(Obj40n3)="Build~House"
node.xpos(Obj40n3)=115
node.ypos(Obj40n3)=56
activity.pattern(Obj40n3)="build_house"
activity.begin-timepoint(Obj40n3)=Obj40n3bt
activity.end-timepoint(Obj40n3)=Obj40n3et
constraint.expression(Obj40c4)="before(Obj40n1et,Obj40n3bt)"
member(Obj40c4,Obj40as)
constraint.expression(Obj40c5)="before(Obj40n3et,Obj40n2bt)"
member(Obj40c5,Obj40as)
constraint.expression(Obj40c6)="before(Obj40n2et,Obj40n0bt)"
member(Obj40c6,Obj40as)
domain-level.label(Obj27)="House Material Level"
domain-level.number(Obj27)=2
domain-level.contains(Obj27,Obj34)
process.label(Obj34)="Build House of Straw"
process.expands(Obj34)="build_house"
process.activity-spec(Obj34,Obj34as)
process.is-executable(Obj34)=false
process.start-timepoint(Obj34)=Obj34st
process.finish-timepoint(Obj34)=Obj34ft
include-node(Obj34c0)=Obj34n0
member(Obj34c0,Obj34as)
node.label(Obj34n0)="End"
node.xpos(Obj34n0)=233
node.ypos(Obj34n0)=45
finish.timepoint(Obj34n0)=Obj34n0bt
include-node(Obj34c1)=Obj34n1
member(Obj34c1,Obj34as)
node.label(Obj34n1)="Begin"
node.xpos(Obj34n1)=30
node.ypos(Obj34n1)=45
start.timepoint(Obj34n1)=Obj34n1et
include-node(Obj34c2)=Obj34n2
member(Obj34c2,Obj34as)
node.label(Obj34n2)="build~house of~(straw)"
node.xpos(Obj34n2)=125
node.ypos(Obj34n2)=45
activity.pattern(Obj34n2)="build_house_of straw"
activity.begin-timepoint(Obj34n2)=Obj34n2bt
activity.end-timepoint(Obj34n2)=Obj34n2et
constraint.expression(Obj34c3)="before(Obj34n1et,Obj34n2bt)"
member(Obj34c3,Obj34as)
constraint.expression(Obj34c4)="before(Obj34n2et,Obj34n0bt)"
member(Obj34c4,Obj34as)
domain-level.contains(Obj27,Obj33)
process.label(Obj33)="Build House of Sticks"
process.expands(Obj33)="build_house"
process.activity-spec(Obj33,Obj33as)
process.is-executable(Obj33)=false
process.start-timepoint(Obj33)=Obj33st
process.finish-timepoint(Obj33)=Obj33ft
include-node(Obj33c0)=Obj33n0
member(Obj33c0,Obj33as)
node.label(Obj33n0)="End"
node.xpos(Obj33n0)=231
node.ypos(Obj33n0)=41
finish.timepoint(Obj33n0)=Obj33n0bt
include-node(Obj33c1)=Obj33n1
member(Obj33c1,Obj33as)
node.label(Obj33n1)="Begin"
node.xpos(Obj33n1)=27
node.ypos(Obj33n1)=41
start.timepoint(Obj33n1)=Obj33n1et
include-node(Obj33c2)=Obj33n2
member(Obj33c2,Obj33as)
node.label(Obj33n2)="build~house of~(sticks)"
node.xpos(Obj33n2)=128
node.ypos(Obj33n2)=41
activity.pattern(Obj33n2)="build_house_of sticks"
activity.begin-timepoint(Obj33n2)=Obj33n2bt
activity.end-timepoint(Obj33n2)=Obj33n2et
constraint.expression(Obj33c3)="before(Obj33n1et,Obj33n2bt)"
member(Obj33c3,Obj33as)
constraint.expression(Obj33c4)="before(Obj33n2et,Obj33n0bt)"
member(Obj33c4,Obj33as)
domain-level.contains(Obj27,Obj32)
process.label(Obj32)="Build House of Bricks"
process.expands(Obj32)="build_house"
process.activity-spec(Obj32,Obj32as)
process.is-executable(Obj32)=false
process.start-timepoint(Obj32)=Obj32st
process.finish-timepoint(Obj32)=Obj32ft
include-node(Obj32c0)=Obj32n0
member(Obj32c0,Obj32as)
node.label(Obj32n0)="End"
node.xpos(Obj32n0)=242
node.ypos(Obj32n0)=71
finish.timepoint(Obj32n0)=Obj32n0bt
include-node(Obj32c1)=Obj32n1
member(Obj32c1,Obj32as)
node.label(Obj32n1)="Begin"
node.xpos(Obj32n1)=34
node.ypos(Obj32n1)=71
start.timepoint(Obj32n1)=Obj32n1et
include-node(Obj32c2)=Obj32n2
member(Obj32c2,Obj32as)
node.label(Obj32n2)="build~house of~(bricks)"
node.xpos(Obj32n2)=126
node.ypos(Obj32n2)=71
activity.pattern(Obj32n2)="build_house_of bricks"
activity.begin-timepoint(Obj32n2)=Obj32n2bt
activity.end-timepoint(Obj32n2)=Obj32n2et
constraint.expression(Obj32c3)="before(Obj32n1et,Obj32n2bt)"
member(Obj32c3,Obj32as)
constraint.expression(Obj32c4)="before(Obj32n2et,Obj32n0bt)"
member(Obj32c4,Obj32as)
domain-level.label(Obj19)="Main Building Level"
domain-level.number(Obj19)=3
domain-level.contains(Obj19,Obj26)
process.label(Obj26)="House Builder"
process.expands(Obj26)="build_house_of ?material"
process.activity-spec(Obj26,Obj26as)
process.is-executable(Obj26)=false
process.start-timepoint(Obj26)=Obj26st
process.finish-timepoint(Obj26)=Obj26ft
var.label(Obj26var1)="vars ?material = ?{type material}"
process.variable(Obj26,Obj26var1,1)
include-node(Obj26c0)=Obj26n0
member(Obj26c0,Obj26as)
node.label(Obj26n0)="End"
node.xpos(Obj26n0)=396
node.ypos(Obj26n0)=82
finish.timepoint(Obj26n0)=Obj26n0bt
include-node(Obj26c1)=Obj26n1
member(Obj26c1,Obj26as)
node.label(Obj26n1)="Begin"
node.xpos(Obj26n1)=34
node.ypos(Obj26n1)=19
start.timepoint(Obj26n1)=Obj26n1et
include-node(Obj26c2)=Obj26n2
member(Obj26c2,Obj26as)
node.label(Obj26n2)="Build Walls ~(?material)"
node.xpos(Obj26n2)=136
node.ypos(Obj26n2)=50
activity.pattern(Obj26n2)="build_walls ?material"
activity.begin-timepoint(Obj26n2)=Obj26n2bt
activity.end-timepoint(Obj26n2)=Obj26n2et
include-node(Obj26c3)=Obj26n3
member(Obj26c3,Obj26as)
node.label(Obj26n3)="install windows"
node.xpos(Obj26n3)=288
node.ypos(Obj26n3)=31
activity.pattern(Obj26n3)="install windows"
activity.begin-timepoint(Obj26n3)=Obj26n3bt
activity.end-timepoint(Obj26n3)=Obj26n3et
include-node(Obj26c4)=Obj26n4
member(Obj26c4,Obj26as)
node.label(Obj26n4)="install door"
node.xpos(Obj26n4)=288
node.ypos(Obj26n4)=119
activity.pattern(Obj26n4)="install door"
activity.begin-timepoint(Obj26n4)=Obj26n4bt
activity.end-timepoint(Obj26n4)=Obj26n4et
constraint.expression(Obj26c5)="before(Obj26n1et,Obj26n2bt)"
member(Obj26c5,Obj26as)
constraint.expression(Obj26c6)="before(Obj26n2et,Obj26n4bt)"
member(Obj26c6,Obj26as)
constraint.expression(Obj26c7)="before(Obj26n2et,Obj26n3bt)"
member(Obj26c7,Obj26as)
constraint.expression(Obj26c8)="before(Obj26n4et,Obj26n0bt)"
member(Obj26c8,Obj26as)
constraint.expression(Obj26c9)="before(Obj26n3et,Obj26n0bt)"
member(Obj26c9,Obj26as)
constraint.expression(Obj26inp0)="supervised {walls built} at Obj26n3 from [ Obj26n2 ]"
member(Obj26inp0,Obj26as)
constraint.expression(Obj26inp1)="supervised {walls built} at Obj26n4 from [ Obj26n2 ]"
member(Obj26inp1,Obj26as)
domain-level.contains(Obj19,Obj25)
process.label(Obj25)="Wall Builder"
process.expands(Obj25)="build_walls ?material"
process.activity-spec(Obj25,Obj25as)
process.is-executable(Obj25)=false
process.start-timepoint(Obj25)=Obj25st
process.finish-timepoint(Obj25)=Obj25ft
var.label(Obj25var1)="vars ?material = ?{type material}"
process.variable(Obj25,Obj25var1,1)
include-node(Obj25c0)=Obj25n0
member(Obj25c0,Obj25as)
node.label(Obj25n0)="End"
node.xpos(Obj25n0)=388
node.ypos(Obj25n0)=64
finish.timepoint(Obj25n0)=Obj25n0bt
include-node(Obj25c1)=Obj25n1
member(Obj25c1,Obj25as)
node.label(Obj25n1)="Begin"
node.xpos(Obj25n1)=42
node.ypos(Obj25n1)=64
start.timepoint(Obj25n1)=Obj25n1et
include-node(Obj25c2)=Obj25n2
member(Obj25c2,Obj25as)
node.label(Obj25n2)="purchase~(?material)"
node.xpos(Obj25n2)=147
node.ypos(Obj25n2)=64
activity.pattern(Obj25n2)="purchase ?material"
activity.begin-timepoint(Obj25n2)=Obj25n2bt
activity.end-timepoint(Obj25n2)=Obj25n2et
include-node(Obj25c3)=Obj25n3
member(Obj25c3,Obj25as)
node.label(Obj25n3)="make walls from~(?material)"
node.xpos(Obj25n3)=290
node.ypos(Obj25n3)=64
activity.pattern(Obj25n3)="make_walls_from ?material"
activity.begin-timepoint(Obj25n3)=Obj25n3bt
activity.end-timepoint(Obj25n3)=Obj25n3et
constraint.expression(Obj25c4)="before(Obj25n1et,Obj25n2bt)"
member(Obj25c4,Obj25as)
constraint.expression(Obj25c5)="before(Obj25n2et,Obj25n3bt)"
member(Obj25c5,Obj25as)
constraint.expression(Obj25c6)="before(Obj25n3et,Obj25n0bt)"
member(Obj25c6,Obj25as)
constraint.expression(Obj25inp0)="supervised {have ?material} at Obj25n3 from [ Obj25n2 ]"
member(Obj25inp0,Obj25as)
domain-level.contains(Obj19,Obj24)
process.label(Obj24)="Security Checker"
process.expands(Obj24)="check_security"
process.activity-spec(Obj24,Obj24as)
process.is-executable(Obj24)=false
process.start-timepoint(Obj24)=Obj24st
process.finish-timepoint(Obj24)=Obj24ft
var.label(Obj24var1)="local_vars ?material = ?{type material}"
process.variable(Obj24,Obj24var1,1)
include-node(Obj24c0)=Obj24n0
member(Obj24c0,Obj24as)
node.label(Obj24n0)="End"
node.xpos(Obj24n0)=209
node.ypos(Obj24n0)=56
finish.timepoint(Obj24n0)=Obj24n0bt
include-node(Obj24c1)=Obj24n1
member(Obj24c1,Obj24as)
node.label(Obj24n1)="Begin"
node.xpos(Obj24n1)=37
node.ypos(Obj24n1)=56
start.timepoint(Obj24n1)=Obj24n1et
constraint.expression(Obj24c2)="before(Obj24n1et,Obj24n0bt)"
member(Obj24c2,Obj24as)
constraint.expression(Obj24c3)="before(Obj24n1et,Obj24n0bt)"
member(Obj24c3,Obj24as)
constraint.expression(Obj24inp0)="unsupervised {proof_against wolf ?material}"
member(Obj24inp0,Obj24as)
constraint.expression(Obj24inp1)="unsupervised {material wall} = ?material"
member(Obj24inp1,Obj24as)
constraint.expression(Obj24inp2)="unsupervised {wolf_proof door}"
member(Obj24inp2,Obj24as)
constraint.expression(Obj24inp3)="unsupervised {wolf_proof windows}"
member(Obj24inp3,Obj24as)
member(Obj24ann0,Obj24as)
annotation.xpos(Obj24ann0)=72
annotation.ypos(Obj24ann0)=18
constraint.expression(Obj24ann0)="Primitive Action"
domain-level.label(Obj4)="Primitive Building Level"
domain-level.number(Obj4)=4
domain-level.contains(Obj4,Obj18)
process.label(Obj18)="Purchase Straw"
process.expands(Obj18)="purchase straw"
process.activity-spec(Obj18,Obj18as)
process.is-executable(Obj18)=false
process.start-timepoint(Obj18)=Obj18st
process.finish-timepoint(Obj18)=Obj18ft
include-node(Obj18c0)=Obj18n0
member(Obj18c0,Obj18as)
node.label(Obj18n0)="End"
node.xpos(Obj18n0)=224
node.ypos(Obj18n0)=61
finish.timepoint(Obj18n0)=Obj18n0bt
include-node(Obj18c1)=Obj18n1
member(Obj18c1,Obj18as)
node.label(Obj18n1)="Begin"
node.xpos(Obj18n1)=41
node.ypos(Obj18n1)=61
start.timepoint(Obj18n1)=Obj18n1et
constraint.expression(Obj18c2)="before(Obj18n1et,Obj18n0bt)"
member(Obj18c2,Obj18as)
constraint.expression(Obj18c3)="before(Obj18n1et,Obj18n0bt)"
member(Obj18c3,Obj18as)
constraint.expression(Obj18out0)="{have straw}"
member(Obj18out0,Obj18as)
constraint.expression(Obj18res0)="consumes {resource money} = 100 pounds"
member(Obj18res0,Obj18as)
constraint.expression(Obj18res1)="consumes {resource straw} = 1000"
member(Obj18res1,Obj18as)
member(Obj18ann0,Obj18as)
annotation.xpos(Obj18ann0)=76
annotation.ypos(Obj18ann0)=17
constraint.expression(Obj18ann0)="Primitive Action"
domain-level.contains(Obj4,Obj17)
process.label(Obj17)="Purchase Sticks"
process.expands(Obj17)="purchase sticks"
process.activity-spec(Obj17,Obj17as)
process.is-executable(Obj17)=false
process.start-timepoint(Obj17)=Obj17st
process.finish-timepoint(Obj17)=Obj17ft
include-node(Obj17c0)=Obj17n0
member(Obj17c0,Obj17as)
node.label(Obj17n0)="End"
node.xpos(Obj17n0)=227
node.ypos(Obj17n0)=50
finish.timepoint(Obj17n0)=Obj17n0bt
include-node(Obj17c1)=Obj17n1
member(Obj17c1,Obj17as)
node.label(Obj17n1)="Begin"
node.xpos(Obj17n1)=36
node.ypos(Obj17n1)=50
start.timepoint(Obj17n1)=Obj17n1et
constraint.expression(Obj17c2)="before(Obj17n1et,Obj17n0bt)"
member(Obj17c2,Obj17as)
constraint.expression(Obj17c3)="before(Obj17n1et,Obj17n0bt)"
member(Obj17c3,Obj17as)
constraint.expression(Obj17out0)="{have sticks}"
member(Obj17out0,Obj17as)
constraint.expression(Obj17res0)="consumes {resource money} = 200 pounds"
member(Obj17res0,Obj17as)
constraint.expression(Obj17res1)="consumes {resource sticks} = 1000"
member(Obj17res1,Obj17as)
member(Obj17ann0,Obj17as)
annotation.xpos(Obj17ann0)=78
annotation.ypos(Obj17ann0)=17
constraint.expression(Obj17ann0)="Primitive Action"
domain-level.contains(Obj4,Obj16)
process.label(Obj16)="Purchase Bricks"
process.expands(Obj16)="purchase bricks"
process.activity-spec(Obj16,Obj16as)
process.is-executable(Obj16)=false
process.start-timepoint(Obj16)=Obj16st
process.finish-timepoint(Obj16)=Obj16ft
include-node(Obj16c0)=Obj16n0
member(Obj16c0,Obj16as)
node.label(Obj16n0)="End"
node.xpos(Obj16n0)=205
node.ypos(Obj16n0)=53
finish.timepoint(Obj16n0)=Obj16n0bt
include-node(Obj16c1)=Obj16n1
member(Obj16c1,Obj16as)
node.label(Obj16n1)="Begin"
node.xpos(Obj16n1)=33
node.ypos(Obj16n1)=53
start.timepoint(Obj16n1)=Obj16n1et
constraint.expression(Obj16c2)="before(Obj16n1et,Obj16n0bt)"
member(Obj16c2,Obj16as)
constraint.expression(Obj16c3)="before(Obj16n1et,Obj16n0bt)"
member(Obj16c3,Obj16as)
constraint.expression(Obj16out0)="{have bricks}"
member(Obj16out0,Obj16as)
constraint.expression(Obj16res0)="consumes {resource money} = 1000 pounds"
member(Obj16res0,Obj16as)
constraint.expression(Obj16res1)="consumes {resource bricks} = 1000"
member(Obj16res1,Obj16as)
member(Obj16ann0,Obj16as)
annotation.xpos(Obj16ann0)=74
annotation.ypos(Obj16ann0)=21
constraint.expression(Obj16ann0)="Primitive Action"
domain-level.contains(Obj4,Obj15)
process.label(Obj15)="Make Straw Walls"
process.expands(Obj15)="make_walls_from straw"
process.activity-spec(Obj15,Obj15as)
process.is-executable(Obj15)=false
process.start-timepoint(Obj15)=Obj15st
process.finish-timepoint(Obj15)=Obj15ft
include-node(Obj15c0)=Obj15n0
member(Obj15c0,Obj15as)
node.label(Obj15n0)="End"
node.xpos(Obj15n0)=205
node.ypos(Obj15n0)=56
finish.timepoint(Obj15n0)=Obj15n0bt
include-node(Obj15c1)=Obj15n1
member(Obj15c1,Obj15as)
node.label(Obj15n1)="Begin"
node.xpos(Obj15n1)=37
node.ypos(Obj15n1)=56
start.timepoint(Obj15n1)=Obj15n1et
constraint.expression(Obj15c2)="before(Obj15n1et,Obj15n0bt)"
member(Obj15c2,Obj15as)
constraint.expression(Obj15c3)="before(Obj15n1et,Obj15n0bt)"
member(Obj15c3,Obj15as)
constraint.expression(Obj15out0)="{walls built}=true"
member(Obj15out0,Obj15as)
constraint.expression(Obj15out1)="{material wall}=straw"
member(Obj15out1,Obj15as)
constraint.expression(Obj15res0)="consumes {resource money} = 100 pounds"
member(Obj15res0,Obj15as)
member(Obj15ann0,Obj15as)
annotation.xpos(Obj15ann0)=76
annotation.ypos(Obj15ann0)=16
constraint.expression(Obj15ann0)="Primitive Action"
domain-level.contains(Obj4,Obj14)
process.label(Obj14)="Make Stick Walls"
process.expands(Obj14)="make_walls_from sticks"
process.activity-spec(Obj14,Obj14as)
process.is-executable(Obj14)=false
process.start-timepoint(Obj14)=Obj14st
process.finish-timepoint(Obj14)=Obj14ft
include-node(Obj14c0)=Obj14n0
member(Obj14c0,Obj14as)
node.label(Obj14n0)="End"
node.xpos(Obj14n0)=158
node.ypos(Obj14n0)=48
finish.timepoint(Obj14n0)=Obj14n0bt
include-node(Obj14c1)=Obj14n1
member(Obj14c1,Obj14as)
node.label(Obj14n1)="Begin"
node.xpos(Obj14n1)=36
node.ypos(Obj14n1)=48
start.timepoint(Obj14n1)=Obj14n1et
constraint.expression(Obj14c2)="before(Obj14n1et,Obj14n0bt)"
member(Obj14c2,Obj14as)
constraint.expression(Obj14c3)="before(Obj14n1et,Obj14n0bt)"
member(Obj14c3,Obj14as)
constraint.expression(Obj14out0)="{walls built}=true"
member(Obj14out0,Obj14as)
constraint.expression(Obj14out1)="{material wall} = sticks"
member(Obj14out1,Obj14as)
constraint.expression(Obj14res0)="consumes {resource money} = 200 pounds"
member(Obj14res0,Obj14as)
member(Obj14ann0,Obj14as)
annotation.xpos(Obj14ann0)=76
annotation.ypos(Obj14ann0)=18
constraint.expression(Obj14ann0)="Primitive Action"
domain-level.contains(Obj4,Obj13)
process.label(Obj13)="Make Brick Walls"
process.expands(Obj13)="make_walls_from bricks"
process.activity-spec(Obj13,Obj13as)
process.is-executable(Obj13)=false
process.start-timepoint(Obj13)=Obj13st
process.finish-timepoint(Obj13)=Obj13ft
include-node(Obj13c0)=Obj13n0
member(Obj13c0,Obj13as)
node.label(Obj13n0)="End"
node.xpos(Obj13n0)=186
node.ypos(Obj13n0)=58
finish.timepoint(Obj13n0)=Obj13n0bt
include-node(Obj13c1)=Obj13n1
member(Obj13c1,Obj13as)
node.label(Obj13n1)="Begin"
node.xpos(Obj13n1)=36
node.ypos(Obj13n1)=58
start.timepoint(Obj13n1)=Obj13n1et
constraint.expression(Obj13c2)="before(Obj13n1et,Obj13n0bt)"
member(Obj13c2,Obj13as)
constraint.expression(Obj13c3)="before(Obj13n1et,Obj13n0bt)"
member(Obj13c3,Obj13as)
constraint.expression(Obj13out0)="{walls built}=true"
member(Obj13out0,Obj13as)
constraint.expression(Obj13out1)="{material wall} = bricks"
member(Obj13out1,Obj13as)
constraint.expression(Obj13res0)="consumes {resource money} = 500 pounds"
member(Obj13res0,Obj13as)
member(Obj13ann0,Obj13as)
annotation.xpos(Obj13ann0)=76
annotation.ypos(Obj13ann0)=15
constraint.expression(Obj13ann0)="Primitive Action"
domain-level.contains(Obj4,Obj12)
process.label(Obj12)="Install Wolf Proof Door"
process.expands(Obj12)="install door"
process.activity-spec(Obj12,Obj12as)
process.is-executable(Obj12)=false
process.start-timepoint(Obj12)=Obj12st
process.finish-timepoint(Obj12)=Obj12ft
include-node(Obj12c0)=Obj12n0
member(Obj12c0,Obj12as)
node.label(Obj12n0)="End"
node.xpos(Obj12n0)=183
node.ypos(Obj12n0)=64
finish.timepoint(Obj12n0)=Obj12n0bt
include-node(Obj12c1)=Obj12n1
member(Obj12c1,Obj12as)
node.label(Obj12n1)="Begin"
node.xpos(Obj12n1)=38
node.ypos(Obj12n1)=64
start.timepoint(Obj12n1)=Obj12n1et
constraint.expression(Obj12c2)="before(Obj12n1et,Obj12n0bt)"
member(Obj12c2,Obj12as)
constraint.expression(Obj12c3)="before(Obj12n1et,Obj12n0bt)"
member(Obj12c3,Obj12as)
constraint.expression(Obj12out0)="{door installed}=true"
member(Obj12out0,Obj12as)
constraint.expression(Obj12out1)="{wolf_proof door} = true"
member(Obj12out1,Obj12as)
constraint.expression(Obj12res0)="consumes {resource money} = 100 pounds"
member(Obj12res0,Obj12as)
member(Obj12ann0,Obj12as)
annotation.xpos(Obj12ann0)=72
annotation.ypos(Obj12ann0)=17
constraint.expression(Obj12ann0)="Primitive Action"
domain-level.contains(Obj4,Obj11)
process.label(Obj11)="Install Door"
process.expands(Obj11)="install door"
process.activity-spec(Obj11,Obj11as)
process.is-executable(Obj11)=false
process.start-timepoint(Obj11)=Obj11st
process.finish-timepoint(Obj11)=Obj11ft
include-node(Obj11c0)=Obj11n0
member(Obj11c0,Obj11as)
node.label(Obj11n0)="End"
node.xpos(Obj11n0)=195
node.ypos(Obj11n0)=59
finish.timepoint(Obj11n0)=Obj11n0bt
include-node(Obj11c1)=Obj11n1
member(Obj11c1,Obj11as)
node.label(Obj11n1)="Begin"
node.xpos(Obj11n1)=39
node.ypos(Obj11n1)=59
start.timepoint(Obj11n1)=Obj11n1et
constraint.expression(Obj11c2)="before(Obj11n1et,Obj11n0bt)"
member(Obj11c2,Obj11as)
constraint.expression(Obj11c3)="before(Obj11n1et,Obj11n0bt)"
member(Obj11c3,Obj11as)
constraint.expression(Obj11out0)="{door installed} = true"
member(Obj11out0,Obj11as)
constraint.expression(Obj11res0)="consumes {resource money} = 50 pounds"
member(Obj11res0,Obj11as)
member(Obj11ann0,Obj11as)
annotation.xpos(Obj11ann0)=76
annotation.ypos(Obj11ann0)=16
constraint.expression(Obj11ann0)="Primitive Action"
domain-level.contains(Obj4,Obj10)
process.label(Obj10)="Install Wolf Proof Windows"
process.expands(Obj10)="install windows"
process.activity-spec(Obj10,Obj10as)
process.is-executable(Obj10)=false
process.start-timepoint(Obj10)=Obj10st
process.finish-timepoint(Obj10)=Obj10ft
include-node(Obj10c0)=Obj10n0
member(Obj10c0,Obj10as)
node.label(Obj10n0)="End"
node.xpos(Obj10n0)=217
node.ypos(Obj10n0)=59
finish.timepoint(Obj10n0)=Obj10n0bt
include-node(Obj10c1)=Obj10n1
member(Obj10c1,Obj10as)
node.label(Obj10n1)="Begin"
node.xpos(Obj10n1)=37
node.ypos(Obj10n1)=59
start.timepoint(Obj10n1)=Obj10n1et
constraint.expression(Obj10c2)="before(Obj10n1et,Obj10n0bt)"
member(Obj10c2,Obj10as)
constraint.expression(Obj10c3)="before(Obj10n1et,Obj10n0bt)"
member(Obj10c3,Obj10as)
constraint.expression(Obj10out0)="{windows installed} = true"
member(Obj10out0,Obj10as)
constraint.expression(Obj10out1)="{wolf_proof windows} = true"
member(Obj10out1,Obj10as)
constraint.expression(Obj10res0)="consumes {resource money} = 100 pounds"
member(Obj10res0,Obj10as)
member(Obj10ann0,Obj10as)
annotation.xpos(Obj10ann0)=71
annotation.ypos(Obj10ann0)=19
constraint.expression(Obj10ann0)="Primitive Action"
domain-level.contains(Obj4,Obj9)
process.label(Obj9)="Install Windows"
process.expands(Obj9)="install windows"
process.activity-spec(Obj9,Obj9as)
process.is-executable(Obj9)=false
process.start-timepoint(Obj9)=Obj9st
process.finish-timepoint(Obj9)=Obj9ft
include-node(Obj9c0)=Obj9n0
member(Obj9c0,Obj9as)
node.label(Obj9n0)="End"
node.xpos(Obj9n0)=211
node.ypos(Obj9n0)=57
finish.timepoint(Obj9n0)=Obj9n0bt
include-node(Obj9c1)=Obj9n1
member(Obj9c1,Obj9as)
node.label(Obj9n1)="Begin"
node.xpos(Obj9n1)=35
node.ypos(Obj9n1)=57
start.timepoint(Obj9n1)=Obj9n1et
constraint.expression(Obj9c2)="before(Obj9n1et,Obj9n0bt)"
member(Obj9c2,Obj9as)
constraint.expression(Obj9c3)="before(Obj9n1et,Obj9n0bt)"
member(Obj9c3,Obj9as)
constraint.expression(Obj9out0)="{windows installed} = true"
member(Obj9out0,Obj9as)
constraint.expression(Obj9res0)="consumes {resource money} = 50 pounds"
member(Obj9res0,Obj9as)
member(Obj9ann0,Obj9as)
annotation.xpos(Obj9ann0)=70
annotation.ypos(Obj9ann0)=16
constraint.expression(Obj9ann0)="Primitive Action"
SORT cpo-domain-level={Obj42,Obj35,Obj27,Obj19,Obj4}
entity.isa("cpo-object-capital","cpo-activity-relatable-object")
object.name(Obj53)="money"
object.is-resource(Obj53)=true
object.resource-type(Obj53)="consumable_strictly"
unit.label(Obj53u)="pounds"
object.unit(Obj53,Obj53u)
unit.type(Obj53u)="count"
SORT cpo-object-"capital"={Obj53}
entity.isa("cpo-object-material","cpo-activity-relatable-object")
object.name(Obj51)="straw"
object.is-resource(Obj51)=true
object.resource-type(Obj51)="consumable_strictly"
object.name(Obj50)="sticks"
object.is-resource(Obj50)=true
object.resource-type(Obj50)="consumable_strictly"
object.name(Obj49)="bricks"
object.is-resource(Obj49)=true
object.resource-type(Obj49)="consumable_strictly"
SORT cpo-object-"material"={Obj51,Obj50,Obj49}
constraint.expression(Obj54)="{proof_against wolf bricks}=true"
SORT cpo-always-constraint={Obj54}
SORT cpo-plan={Obj47}
SORT cpo-process={Obj41,Obj40,Obj34,Obj33,Obj32,Obj26,Obj25,Obj24,Obj18,Obj17,Obj16,Obj15,Obj14,Obj13,Obj12,Obj11,Obj10,Obj9}
SORT cpo-activity-specification={Obj47as,Obj41as,Obj40as,Obj34as,Obj33as,Obj32as,Obj26as,Obj25as,Obj24as,Obj18as,Obj17as,Obj16as,Obj15as,Obj14as,Obj13as,Obj12as,Obj11as,Obj10as,Obj9as}
SORT cpo-action={Obj47n2,Obj41n2,Obj40n2,Obj40n3,Obj34n2,Obj33n2,Obj32n2,Obj26n2,Obj26n3,Obj26n4,Obj25n2,Obj25n3}
SORT cpo-start={Obj47n1}
SORT cpo-finish={Obj47n0}
SORT cpo-begin={Obj41n1,Obj40n1,Obj34n1,Obj33n1,Obj32n1,Obj26n1,Obj25n1,Obj24n1,Obj18n1,Obj17n1,Obj16n1,Obj15n1,Obj14n1,Obj13n1,Obj12n1,Obj11n1,Obj10n1,Obj9n1}
SORT cpo-end={Obj41n0,Obj40n0,Obj34n0,Obj33n0,Obj32n0,Obj26n0,Obj25n0,Obj24n0,Obj18n0,Obj17n0,Obj16n0,Obj15n0,Obj14n0,Obj13n0,Obj12n0,Obj11n0,Obj10n0,Obj9n0}
SORT cpo-timepoint={Obj47st,Obj47ft,Obj47n0bt,Obj47n1et,Obj47n2bt,Obj47n2et,Obj41st,Obj41ft,Obj41n0bt,Obj41n1et,Obj41n2bt,Obj41n2et,Obj40st,Obj40ft,Obj40n0bt,Obj40n1et,Obj40n2bt,Obj40n2et,Obj40n3bt,Obj40n3et,Obj34st,Obj34ft,Obj34n0bt,Obj34n1et,Obj34n2bt,Obj34n2et,Obj33st,Obj33ft,Obj33n0bt,Obj33n1et,Obj33n2bt,Obj33n2et,Obj32st,Obj32ft,Obj32n0bt,Obj32n1et,Obj32n2bt,Obj32n2et,Obj26st,Obj26ft,Obj26n0bt,Obj26n1et,Obj26n2bt,Obj26n2et,Obj26n3bt,Obj26n3et,Obj26n4bt,Obj26n4et,Obj25st,Obj25ft,Obj25n0bt,Obj25n1et,Obj25n2bt,Obj25n2et,Obj25n3bt,Obj25n3et,Obj24st,Obj24ft,Obj24n0bt,Obj24n1et,Obj18st,Obj18ft,Obj18n0bt,Obj18n1et,Obj17st,Obj17ft,Obj17n0bt,Obj17n1et,Obj16st,Obj16ft,Obj16n0bt,Obj16n1et,Obj15st,Obj15ft,Obj15n0bt,Obj15n1et,Obj14st,Obj14ft,Obj14n0bt,Obj14n1et,Obj13st,Obj13ft,Obj13n0bt,Obj13n1et,Obj12st,Obj12ft,Obj12n0bt,Obj12n1et,Obj11st,Obj11ft,Obj11n0bt,Obj11n1et,Obj10st,Obj10ft,Obj10n0bt,Obj10n1et,Obj9st,Obj9ft,Obj9n0bt,Obj9n1et}
SORT cpo-ordering-constraint={Obj47c3,Obj47c4,Obj41c3,Obj41c4,Obj40c4,Obj40c5,Obj40c6,Obj34c3,Obj34c4,Obj33c3,Obj33c4,Obj32c3,Obj32c4,Obj26c5,Obj26c6,Obj26c7,Obj26c8,Obj26c9,Obj25c4,Obj25c5,Obj25c6,Obj24c2,Obj24c3,Obj18c2,Obj18c3,Obj17c2,Obj17c3,Obj16c2,Obj16c3,Obj15c2,Obj15c3,Obj14c2,Obj14c3,Obj13c2,Obj13c3,Obj12c2,Obj12c3,Obj11c2,Obj11c3,Obj10c2,Obj10c3,Obj9c2,Obj9c3}
SORT cpo-input-constraint={Obj26inp0,Obj26inp1,Obj25inp0,Obj24inp0,Obj24inp1,Obj24inp2,Obj24inp3}
SORT cpo-output-constraint={Obj18out0,Obj17out0,Obj16out0,Obj15out0,Obj15out1,Obj14out0,Obj14out1,Obj13out0,Obj13out1,Obj12out0,Obj12out1,Obj11out0,Obj10out0,Obj10out1,Obj9out0}
SORT cpo-resource-constraint={Obj18res0,Obj18res1,Obj17res0,Obj17res1,Obj16res0,Obj16res1,Obj15res0,Obj14res0,Obj13res0,Obj12res0,Obj11res0,Obj10res0,Obj9res0}
SORT cpo-resource-unit={Obj53u}
SORT cpo-entity-variable={Obj26var1,Obj25var1,Obj24var1}
SORT cpo-include-constraint={Obj47c0,Obj47c1,Obj47c2,Obj41c0,Obj41c1,Obj41c2,Obj40c0,Obj40c1,Obj40c2,Obj40c3,Obj34c0,Obj34c1,Obj34c2,Obj33c0,Obj33c1,Obj33c2,Obj32c0,Obj32c1,Obj32c2,Obj26c0,Obj26c1,Obj26c2,Obj26c3,Obj26c4,Obj25c0,Obj25c1,Obj25c2,Obj25c3,Obj24c0,Obj24c1,Obj18c0,Obj18c1,Obj17c0,Obj17c1,Obj16c0,Obj16c1,Obj15c0,Obj15c1,Obj14c0,Obj14c1,Obj13c0,Obj13c1,Obj12c0,Obj12c1,Obj11c0,Obj11c1,Obj10c0,Obj10c1,Obj9c0,Obj9c1}
SORT cpo-annotation-constraint={Obj47ann0,Obj24ann0,Obj18ann0,Obj17ann0,Obj16ann0,Obj15ann0,Obj14ann0,Obj13ann0,Obj12ann0,Obj11ann0,Obj10ann0,Obj9ann0}
//------------
//End
