object(tr1,[movement_property(p1)=.still],
[physical_object(p1)=.stone,
weight(p1)=.big,
dimension(p1)=.big,
state(p1)=.quiet,
ontop(p1,p2)=.true,
physical_object(p2)=.earth,
weight(p2)=.very_big,
dimension(p2)=.very_big,
state(p2)=.quieti]).

 

object(tr2,[movement_property(p3)=.still],
[physical_object(p3)=.stone,
weight(p3)=.small,
dimension(p3)=.small,
state(p3)=.quiet,
ontop(p3,p4)=.true,
physical_object(p4)=.earth,
weight(p4)=.very_big,
dimension(p4)=.very_big,
state(p4)=.quiet]).

 

object(tr3,[movement_property(p5)=.still],
[physical_object(p5)=.stone,
weight(p5)=.medium,
dimension(p5)=.medium,
state(p5)=.quiet,
ontop(p5,p6)=.true,
physical_object(p6)=.earth,
weight(p6)=.very_big,
dimension(p6)=.very_big,
state(p6)=.quiet]).

 

object(tr4,[movement_property(p7)=.still],
[physical_object(p7)=.ball,
weight(p7)=.small,
dimension(p7)=.very_small,
state(p7)=.quiet,
ontop(p7,p8)=.true,
physical_object(p8)=.floor,
weight(p8)=.very_big,
dimension(p8)=.very_big,
state(p8)=.quiet]).

 

object(tr5,[movement_property(p9)=.still],
[physical_object(p9)=.ball,
weight(p9)=.small,
dimension(p9)=.small,
state(p9)=.quiet,ontop(p9,p10)=.true,
physical_object(p10)=.table,
weight(p10)=.big,
dimension(p10)=.big,
state(p10)=.quiet,
ontop(p10,p11)=.true,
physicalobject(p11)=.floor,
weight(p11)=.very_big,
dimension(p11)=.very_big,
state(p11)=.quiet]).

 

object(tr6,[movement_property(p12)=.still],
[physical_object(p12)=.stone,
weight(p12)=.medium,
dimension(p12)=.medium,
pushed(p12,p13)=.true,
exercts(p13,p12)=.very_big,
ontop(p12,p14)=.true,
phisical_object(p13)=.person,
weight(p13)=small,
dimension(p13)=.small,
state(p13)=.quiet,
ontop(p13,p14)=.true,
physical_object(p14)=.earth,
weight(p14)=.very_big,
dimension(p14)=.very_big,
state(p14)=.quiet]).

 

object(trl0b,[movement_property(p22b)=.still,
movement_property(p23b)=.still],
[physical_object(p22b)=.sledge,
weight(p22b)=.big,
dimension(p22b)=.big,
state(p22b)=.quiet,
contain(p22b,p23b)=.true,
physicai_object(p23b)=.stone,
weight(p23b)=.big,
dimension(p23b)=.big,
state(p23b)=.quiet,
ontop(p22b,p25b)=.true,
physical_object(p25b)=.earth,
weight(p25b)=.very_big,
dimension(p25b)=.very_big,
state(p25b)=.quiet]).

 

object(tr7,[movement_property(p15)=.moving],
[physical_object(p15)=.person,
weight(p15)=.medium,
dimension(p15)=.medium,
state(p15)=.walking,
ontop(p15,p16)=.true,
physical_object(p16)=.earth,
weight(p16)=.very_big,
dimension(p16)=.verybig,
state(p16)=.quiet]).

 

object(tr8,[movement_property(p17)=.moving],
[physical_object(p17)=.horse,
weight(p17)=.big,
dimension(p17)=.medium,
state(p17)=.walking,
ontop(p17,p18)=.true,
physical_object(p18)=.earth,
weight(p18)=.very_big,
dimension(p18)=.very_big,
state(p18)=.quiet]).

 

object(tr9,[movement_property(p19)=.moving],
[physical_object(p19)=.stone,
weight(p19)=.small,
dimension(p19)=.small,
state(p19)=.rolling,
pushed(p19,p2O)=.true,
exercts(p20,p19)=.very_small,
ontop(p19,p21)=.true,
physical_object(p20)=.person,
weight(p2O)=.medium,
dimension(p20)=.medium,
state(p20)=.walking,
ontop(p20,p21)=.true,
physical_object(p21)=.earth,
weight(p21)=.very_big,
dimension(p21)=.very_big,
state(p21)=.quiet]).

 

object(tr10,[movement_property(p22)=.moving,
movement_property(p23)=.moving,
movement_property(p24)=moving],
[physical_object(p22)=.sledge,
weight(p22)=.big,
dimension(p22)=.big,
state(p22)=.creeping,
contain(p22,p23)=.true,
physical_object(p23)=.stone,
weight(p23)=.big,
dimension(p23)=.big,
state(p23)=.quiet,
pulled(p22,p24)=.true,
exercts(p24,p22)=.big,
ontop(p22,p25)=.true,
physical_object(p24)=.horse,
weight(p24)=.big,
dimension(p24)=.medium,
state(p24)=.walking,
ontop(p24,p25)=.true,
physical_object(p25)=.earth,
weight(p25)=.very_big,
dimension(p25)=.verybig,
state(p25)=.quiet]).

 

object(tr11,[movement_property(p26)=.moving,
movement_property(p27)=.moving,
movement_property(p28)=.moving],
[physical_object(p26)=.sledge,
weight(p26)=.big,
dimension(p26)=.big,
state(p26)=.creeping,
contain(p26,p27)=.true,
physical_object(p27)=.person,
weight(p27)=.medium,dimension(p27)=.medium,
state(p27)=.quiet,
pulled(p26,p28)=.true,
exercts(p28,p26)=.big,
ontop(p26,p29)=.true,
physical_object(p28)=.horse,
weight(p28)=.big,
dimension(p28)=.medium,
state(p28)=.walking,
ontop(p28,p29)=.true,
physical_object(p29)=.earth,
weight(p29)=.very_big,
dimension(p29)=.very_big,
state(p29)=.quiet]).

 

object(tr12,[force_property(p30)=.inner_force],
[physical_object(p30)=.car,
weight(p30)=.big,
dimension(p30)=.big,
state(p30)=.quiet,
ontop(p30,p31)=.true,
physical_object(p31)=.earth,
weight(p31)=.very_big,
dimension(p31)=.very_big,
state(p31)=.quiet]).

 

object(tr13,[force_property(p32)=.inner_force],
[physical_object(p32)=.person,
weight(p32)=.medium,
dimension(p32)=.big,
state(p32)=.running,
ontop(p32,p33)=.true,
physical_object(p33)=.earth,
weight(p33)=.very_big,
dimension(p33)=.very_big,
state(p33)=.quiet]).

 

object(tr14,[force_property(p34)=.inner_force],
[physical_object(p34)=.horse,
weight(p34)=.medium,
dimension(p34)=.big,
state(p34)=.running,
ontop(p34,p35)=.true,
physical_object(p35)=.earth,
weight(p35)=.very_big,
dimension(p35)=.very_big,
state(p35)=.quiet]).

 

object(tr15,[force_property(p36)=.inner_force],
[physical_object(p36)=.stone,
weight(p36)=.medium,
dimension(p36)=.medium,
state(p36)=.quiet,
ontop(p36,p37)=.true,
physical_object(p37)=.earth,
weight(p37)=.very_big,
dimension(p37)=.very_big,
state(p37)=.quiet]).

 

object(tr16,[force_property(p38)=.acq_force],
[physical_object(p38)=.stone,
weight(p38)=.medium,
dimension(p38)=.medium,
state(p38)=.rolling,
pushed(p38,p39)=.true,
exercts(p39,p38)=.medium,
ontop(p38,p40)=.true,
physical_object(p39)=.person,
weight(p39)=.medium,
dimension(p39)=.medium,
state(p39)=.walking,
ontop(p39,p40)=.true,
physical_object(p40)=.mearth,
weight(p40)=.very_big,
dimension(p40)=.very_big,
state(p40)=.quiet]).

 

object(tr17,[force_property(p41)=.acq_force],
[physical_object(p41)=.stone,
weight(p41)=.small,
dimension(p41)=.small,
state(p41)=.rolling,
pushed(p41,p42)=.true,
exercts(p42,p41)=.big,
ontop(p41,p43)=.true,
physical_object(p42)=.person,
weight(p42)=.small,
dimension(p42)=.small,
state(p42)=.walking,
ontop(p42,p43)=.true,
physical_object(p43)=.earth,
weight(p43)=.very_big,
dimension(p43)=.very_big,
state(p43)=.quiet]).

 

object(tr17b,[force_propefty(p4lb)=.acq_force],
[physical_object(p41b)=.stone,
weight(p41b)=.small,
dimension(p41b)=.small,
state(p41b)=.rolling,
pushed(p41h,p42b)=.false,
ontop(p41b,p43b)=.true,
physical_object(p42b)=.person,
weight(p42b)=.small,
dimension(p42b)=.small,
state(p42b)=.walking,
ontop(p42b,p43b)=.true,
physical_object(p43b)=.earth,
weight(p43b)=.very_big,
dimension(p43b)=.very_big,
state(p43b)=.quiet]).

 

object(tr18,[force_property(p44)=.acq_force],
[physical_object(p44)=.stone,
weight(p44)=.medium,
dimension(p44)=.medium,
state(p44)=.rolling,
above(p44,p45)=.true,
physical_object(p45)=.earth,
weight(p45)=.very_big,
dimension(p45)=.very_big,
state(p45)=.quiet,
hdistance(p44,p45)=.big]).

 

object(tr19,[force_property(p46)=.acq_force],
[physical_object(p46)=.stone,
weight(p46)=.small,
dimension(p46)=.small,
state(p46)=.falling,
above(p46,p47)=.true,
physical_object(p47)=.earth,
weight(p47)=.very_big,
dimension(p47)=.very_big,
state(p47)=.quiet,
hdistance(p46,p47)=.big]).
object(tr2O,[force_property(p48)=.no_acquired],
[physical_object(p48)=.table,
weight(p48)=.medium,
dimension(p48)=.big,
state(p48)=.quiet,
ontop(p48,p49)=.true,
physical_object(p49)=.earth,
weight(p49)=.very_big,
dimension(p49)=.very_big,
state(p49)=.quiet]).

 

 

object(tr22,[force_property(p48b)=.no_acquired],
[physical_object(p48b)=.stone,
weight(p48b)=.small,
dimension(p48b)=.small,
state(p48b)=.quiet,
ontop(p48b,p49b)=.true,
physical_object(p49b)=.earth,
weight(p49b)=.very_big,
dimension(p49b)=.very_big,
state(p49b)=.quiet]).

 

 
 

 

Download input file
 
Top