342_a_dick_1952
It's alert to anything that flies or moves above the ground level.
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADJ alert;{alert})
(PP (P-ROLE to;{to})
(NP (D;_nphd_ anything;{anything})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(ILYR (ILYR (VBP;_I_ flies;{fly}))
(CONJP (CONJ or;{or})
(ILYR (VBP;_I_ moves;{move}))))
(PP-NIM (P-ROLE above;{above})
(NP (D the;{the})
(N ground;{ground})
(N level;{level})))))))
(PUNC .))
(ID 342_a_dick_1952))
arc(r_0342_0002___apos_s,r_0342_0001__It,arg0).
arc(r_0342_0002___apos_s,r_0342_0003__alert,prd).
arc(r_0342_0003__alert,r_0342_0005__anything,r_0342_0004__to).
arc(r_0342_0007__flies,r_0342_0005__anything,inv_arg0).
arc(r_0342_0007__flies,r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level,r_0342_0010__above__nim).
arc(r_0342_0008__or,r_0342_0007__flies,conj1).
arc(r_0342_0008__or,r_0342_0009__moves,conj2).
arc(r_0342_0009__moves,r_0342_0005__anything,inv_arg0).
arc(r_0342_0009__moves,r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level,r_0342_0010__above__nim).
fof(formula,axiom,
? [R_0342_0001__IT,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL,R_0342_0007__FLIES,R_0342_0009__MOVES,R_0342_0005__ANYTHING,R_0342_0003__ALERT,R_0342_0002___APOS_S,R_0342_0008__OR] :
( r_0342_0001__It(R_0342_0001__IT)
& r_0342_0011__the_r_0342_0012__ground_r_0342_0013__level(R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
& r_0342_0008__or(R_0342_0008__OR)
& has_conj2(R_0342_0008__OR,R_0342_0009__MOVES)
& r_0342_0009__moves(R_0342_0009__MOVES)
& has_r_0342_0010__above__nim(R_0342_0009__MOVES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
& has_conj1(R_0342_0008__OR,R_0342_0007__FLIES)
& r_0342_0007__flies(R_0342_0007__FLIES)
& has_r_0342_0010__above__nim(R_0342_0007__FLIES,R_0342_0011__THE_R_0342_0012__GROUND_R_0342_0013__LEVEL)
& r_0342_0002___apos_s(R_0342_0002___APOS_S)
& has_prd(R_0342_0002___APOS_S,R_0342_0003__ALERT)
& r_0342_0003__alert(R_0342_0003__ALERT)
& has_r_0342_0004__to(R_0342_0003__ALERT,R_0342_0005__ANYTHING)
& r_0342_0005__anything(R_0342_0005__ANYTHING)
& has_inv_arg0(R_0342_0005__ANYTHING,R_0342_0009__MOVES)
& has_inv_arg0(R_0342_0005__ANYTHING,R_0342_0007__FLIES)
& has_arg0(R_0342_0002___APOS_S,R_0342_0001__IT) ) ).