%           [ acetext=['All persons are happy.'],
%             sentences=[[^, 'All', persons, are, happy, '.']],
%             sentencesToParse=[[^, 'All', persons, are, happy, '.']],
%             syntaxTrees=[[specification, [s, [np, [det, all], [nbar, [n, persons]]], [vp, [], [aux, are, []], [ap_coord, [ap, [adj, happy]]], []]], '.']],
%             drs0=[drs([], [ (drs([PERSON_OBJ], [object(PERSON_OBJ, person, countable, na, eq, 1)-1/2])=>drs([HAPPY_REL, A], [property(HAPPY_REL, happy, POS)-1/4, predicate(A, be, PERSON_OBJ, HAPPY_REL)-1/3]))]), drs([], [ (drs([PERSON_OBJ], [object(PERSON_OBJ, person, countable, na, eq, 1)-1/2])=>drs([HAPPY_REL, A], [property(HAPPY_REL, happy, POS)-1/4, predicate(A, be, PERSON_OBJ, HAPPY_REL)-1/3]))]), drs([], [ (drs([PERSON_OBJ], [object(PERSON_OBJ, person, countable, na, eq, 1)-1/2])=>drs([HAPPY_REL, A], [property(HAPPY_REL, happy, POS)-1/4, predicate(A, be, PERSON_OBJ, HAPPY_REL)-1/3]))])],
%             tokens=[['All', persons, are, happy, '.']],
%             paraphrase=[['If there is a person X1 then the person X1 is happy.']],
%             drs=[drs([], [ (drs([PERSON_OBJ], [object(PERSON_OBJ, person, countable, na, eq, 1)-1/2])=>drs([HAPPY_REL, A], [property(HAPPY_REL, happy, POS)-1/4, predicate(A, be, PERSON_OBJ, HAPPY_REL)-1/3]))])],
%             sdrs=[ ([object(PERSON_OBJ, person, countable, na, eq, 1)-1/2]=>[property(HAPPY_REL, happy, POS)-1/4, predicate(A, be, PERSON_OBJ, HAPPY_REL)-1/3])],
%             fol=[forall(PERSON_OBJ, exists(HAPPY_PROP, exists(BE_EVENT, - (object(BE_FRAME, PERSON_OBJ, person, countable, na, eq, 1)-1/2)v (property(BE_FRAME, HAPPY_PROP, happy, POS)-1/4)& (predicate(BE_FRAME, BE_EVENT, be, PERSON_OBJ, HAPPY_PROP)-1/3)))), forall(PERSON_OBJ, exists(HAPPY_PROP, exists(BE_EVENT, - (object(BE_FRAME, PERSON_OBJ, person, countable, na, eq, 1)-1/2)v (property(BE_FRAME, HAPPY_PROP, happy, POS)-1/4)& (predicate(BE_FRAME, BE_EVENT, be, PERSON_OBJ, HAPPY_PROP)-1/3))))],
%             pnf=[forall(PERSON_OBJ, (object(BE_FRAME, PERSON_OBJ, person, countable, na, eq, 1)-1/2=>exists(HAPPY_PROP, exists(BE_EVENT, (property(BE_FRAME, HAPPY_PROP, happy, POS)-1/4)& (predicate(BE_FRAME, BE_EVENT, be, PERSON_OBJ, HAPPY_PROP)-1/3))))), forall(PERSON_OBJ, (object(BE_FRAME, PERSON_OBJ, person, countable, na, eq, 1)-1/2=>exists(HAPPY_PROP, exists(BE_EVENT, (property(BE_FRAME, HAPPY_PROP, happy, POS)-1/4)& (predicate(BE_FRAME, BE_EVENT, be, PERSON_OBJ, HAPPY_PROP)-1/3)))))],
%             kif(p)=[all(PERSON_OBJ, implies(tPerson(PERSON_OBJ), exists(HAPPY_PROP, exists(BE_EVENT, (vHappy(HAPPY_PROP), mudBe(PERSON_OBJ, HAPPY_PROP)))))), all(PERSON_OBJ, implies(tPerson(PERSON_OBJ), exists(HAPPY_PROP, exists(BE_EVENT, (vHappy(HAPPY_PROP), mudBe(PERSON_OBJ, HAPPY_PROP))))))],
%             kif(f)=[all(PERSON_OBJ, exists(HAPPY_PROP, exists(BE_EVENT, (-tPerson(PERSON_OBJ);vHappy(HAPPY_PROP), mudBe(PERSON_OBJ, HAPPY_PROP))))), all(PERSON_OBJ, exists(HAPPY_PROP, exists(BE_EVENT, (-tPerson(PERSON_OBJ);vHappy(HAPPY_PROP), mudBe(PERSON_OBJ, HAPPY_PROP)))))],
%             kif(d)=[implies(exists([PERSON_OBJ], tPerson(PERSON_OBJ)), exists([HAPPY_REL, A], (vHappy(HAPPY_REL), mudBe(PERSON_OBJ, HAPPY_REL)))), implies(exists([PERSON_OBJ], tPerson(PERSON_OBJ)), exists([HAPPY_REL, A], (vHappy(HAPPY_REL), mudBe(PERSON_OBJ, HAPPY_REL))))],
%             kif(s)=[implies([tPerson(PERSON_OBJ)], [vHappy(HAPPY_REL), mudBe(PERSON_OBJ, HAPPY_REL)]), implies([tPerson(PERSON_OBJ)], [vHappy(HAPPY_REL), mudBe(PERSON_OBJ, HAPPY_REL)])]
%           ].