ace_to_surface(CHARS,Formula):-
         sentenceToList(CHARS,S),
         sentence(G,S,[]),!,tologic(G,F), 
         fixExistentials(F,SKIF),!,
         getSigmaTermFromSurface(SKIF,Formula).

dynamic_p(P):- functor(P,F,A),dynamic(F/A).

:-dynamic_p(known_property_value(Property,Value)). % like known_property_value(size,big)
:-dynamic_p(known_proper_noun(ProperNoun,LogicalThing)). %like known_proper_noun('Superman','TheManOfSteel')
:-dynamic_p(known_noun(Word,PlurSing)). %like known_noun(apple,snglr)
:-dynamic_p(known_verb_to_predicate(Verb,Tense,SingPlur,LogicalPredicate)). %like known_verb_to_predicate(kissed,past,snglr,kiss)
:-dynamic_p(known_query_word(WhWhat,LogicalWhWhat)). %known_query_word(how,methodUsed)
:-dynamic_p(known_copula(IS_BE,PlurSing)).
:-dynamic_p(known_class(EnglishCol,Tense,LogicalClass)).
:-dynamic_p(known_determiner(Tense,LogicalQuant,Quantifier)).
:-dynamic_p(known_verb_frame(Verb,Tense,SingPlur,Frame_with_Subj_and_Obj,Subj,Obj)).


known_verb_to_predicate(LogicalPredicate,present,SingPlur,LogicalPredicate):-nonvar(LogicalPredicate),quick_search('Q'(LogicalPredicate,_,_)).
known_class(LogicalClass,sngular,LogicalClass):-nonvar(LogicalClass),quick_search('instance'(LogicalClass,'Class')).

quick_search(Goal):-!,fail.

quick_search(Goal):-
%         add_proof_recording_args(Goal,ProofIn,ProofO,Goal2),
         add_complete_search_args(Goal,2,DepthOut,Goal3),
         add_proof_recording_args(Goal3,ProofIn,ProofO,Goal4),
        !, Goal4,!.