2_a_fog_cat
The fog comes on little cat feet.
arc(r_0002_0003__comes, r_0002_0001__The_r_0002_0002__fog, arg0).
arc(r_0002_0003__comes, r_0002_0006__cat_r_0002_0007__feet, r_0002_0004__on_nim12).
arc(r_0002_0006__cat_r_0002_0007__feet, r_0002_0005__little, attrib13).
fof(formula,axiom,
? [R_2_3_COMES,R_2_1_THE_FOG,R_2_6_CAT_FEET,R_2_5_LITTLE] :
( the_fog(R_2_1_THE_FOG)
& little(R_2_5_LITTLE)
& comes(R_2_3_COMES,R_2_1_THE_FOG)
& on_nim12(R_2_3_COMES,R_2_6_CAT_FEET)
& cat_feet(R_2_6_CAT_FEET)
& attrib13(R_2_6_CAT_FEET,R_2_5_LITTLE) ) ).
( (IP-MAT (NP-SBJ;{THING} (D The;{the})
(N fog;{fog}))
(VBP;_I_ comes;{come})
(PP-NIM (P-ROLE on;{on})
(NP (ADJP (ADJ little;{little}))
(N cat;{cat})
(NS feet;{foot})))
(PUNC .))
(ID 2_a_fog_cat))