[Attempto] from DRS to ACE

[Gabriele Kahlout]

drs_to_ace(drs([A, B], [ object(A, card, countable, na, eq, 1)-1/4,
predicate(B, enter, named('John'), A)-1/2, drs([C],[object(C, card,
countable, na, eq, 1)-2/2]) -> drs([D, E], [property(D,green,pos)-2/4,
predicate(E,be,C,D)-2/3])]),K).