% Copyright (C) 2013 Peter Schueller % clog/block snippet nom(g2,n1,entity). nom(g2,n2,entity). mod(g2,n3,clogged). mod(g2,n4,with). act(g2,n5,block). dep(g2,d1,n3,n1,@set(mod)). dep(g2,d2,n4,n3,@set(mod)). dep(g2,d3,n2,n4,@set(obj)). dep(g2,d4,n2,n5,@set(subj)). dep(g2,d5,n1,n5,@set(obj)). % activate via clogged or via block gactivatable(g2,n3). gactivatable(g2,n5). forbidden_equivalence(g2,n1,n2). % "A blocks B and one removes A" yields "A no longer blocks B" nom(g3,n1,agent). nom(g3,n2,entity). act(g3,n3,block). nom(g3,n4,entity). act(g3,n5,remove). dep(g3,d1,n2,n3,@set(subj)). dep(g3,d2,n4,n3,@set(obj)). dep(g3,d3,n1,n5,@set(subj)). dep(g3,d4,n2,n5,@set(obj)). dep(g3,d6,d3,d1,@set((meta,del))). % activate via block or via remove gactivatable(g3,n3). gactivatable(g3,n5). forbidden_equivalence(g3,n2,n4). % "A blocks B and agent cleans B" yields "agent removes A from B" nom(g4,n1,agent). nom(g4,n2,entity). act(g4,n3,block). nom(g4,n4,entity). act(g4,n5,remove). act(g4,n6,clean). dep(g4,d1,n2,n3,@set(subj)). dep(g4,d2,n4,n3,@set(obj)). dep(g4,d3,n1,n6,@set(subj)). dep(g4,d4,n4,n6,@set(obj)). dep(g4,d5,n1,n5,@set(subj)). dep(g4,d6,n2,n5,@set(obj)). dep(g4,d7,d3,d5,@set((meta,result))). % activate via block, remove, or clean gactivatable(g4,n3). gactivatable(g4,n5). gactivatable(g4,n6). forbidden_equivalence(g4,n2,n4). % entity above entity/entity does sth above entity nom(g5,n1,entity). mod(g5,n2,above). nom(g5,n3,entity). act(g5,n4,action). dep(g5,d1,n2,n1,@set(mod)). dep(g5,d2,n1,n4,@set(subj)). dep(g5,d3,n3,n2,@set(obj)). dep(g5,d4,n2,n4,@set(mod)). % activate via above gactivatable(g5,n2). forbidden_equivalence(g5,n1,n3). % between/cannot-see snippet nom(g6,n1,entity). mod(g6,n2,between). nom(g6,n3,agent). nom(g6,n4,entity). act(g6,n5,see). dep(g6,d1,n1,n2,@set(subj)). dep(g6,d2,n3,n2,@set(obj)). dep(g6,d3,n4,n2,@set(obj2)). dep(g6,d4,n3,n5,@set(cannot)). dep(g6,d5,n4,n5,@set(obj)). % activate via see, between gactivatable(g6,n5). gactivatable(g6,n2). % all entities/agents must be different forbidden_equivalence(g6,n1,n3). forbidden_equivalence(g6,n1,n4). forbidden_equivalence(g6,n3,n4). % between+see around snippet nom(g7,n1,entity). mod(g7,n2,between). nom(g7,n3,agent). nom(g7,n4,entity). act(g7,n5,see_around). dep(g7,d1,n1,n2,@set(subj)). dep(g7,d2,n3,n2,@set(obj)). dep(g7,d3,n4,n2,@set(obj2)). dep(g7,d4,n3,n5,@set(cannot)). dep(g7,d5,n1,n5,@set(obj)). % activate via see_around, between gactivatable(g7,n5). gactivatable(g7,n2). % all entities/agents must be different forbidden_equivalence(g7,n1,n3). forbidden_equivalence(g7,n1,n4). forbidden_equivalence(g7,n3,n4). % top/bottom/below nom(g8,n1,top). nom(g8,n2,bottom). mod(g8,n4,below). dep(g8,d4,n1,n4,@set(obj)). dep(g8,d5,n2,n4,@set(subj)). % activate via top/bottom gactivatable(g8,n1). gactivatable(g8,n2). forbidden_equivalence(g8,n1,n2). % do_sth down_to concept snippet nom(g9,n1,agent). act(g9,n2,throw_down). mod(g9,n3,to). nom(g9,n4,entity). mod(g9,n6,below). nom(g9,n7,location). nom(g9,n8,location). dep(g9,d1,n1,n2,@set(subj)). dep(g9,d2,n3,n2,@set(obj2)). dep(g9,d3,n4,n3,@set(obj)). dep(g9,d6,n7,n6,@set(obj)). dep(g9,d7,n8,n6,@set(subj)). dep(g9,d8,n1,n7,@set(at)). dep(g9,d9,n4,n8,@set(at)). % activate via throw_down/below gactivatable(g9,n2). gactivatable(g9,n6). forbidden_equivalence(g9,n1,n4). forbidden_equivalence(g9,n7,n8). % at/below nom(g10,n1,entity). nom(g10,n3,location). mod(g10,n4,below). nom(g10,n5,location). dep(g10,d1,n1,n5,@set(at)). dep(g10,d3,n1,n4,@set(subj)). dep(g10,d4,n5,n4,@set(subj)). dep(g10,d5,n3,n4,@set(obj)). % activate via below gactivatable(g10,n4). forbidden_equivalence(g10,n3,n5). forbidden_equivalence(g10,n1,n3). forbidden_equivalence(g10,n1,n5). % reach/at nom(g11,n1,agent). act(g11,n2,reach). nom(g11,n3,location). dep(g11,d1,n1,n2,@set(subj)). dep(g11,d2,n3,n2,@set(obj)). dep(g11,d3,n1,n3,@set(at)). % activate via reach gactivatable(g11,n2). forbidden_equivalence(g11,n1,n3). % A above B, B below A nom(g12,n1,entity). mod(g12,n2,above). mod(g12,n3,below). nom(g12,n4,entity). dep(g12,d1,n1,n2,@set(obj)). dep(g12,d2,n3,n1,@set(mod)). dep(g12,d3,n4,n3,@set(obj)). dep(g12,d4,n2,n4,@set(mod)). gactivatable(g12,n2). gactivatable(g12,n3). forbidden_equivalence(g12,n1,n4).