namedents=map_snd_characters.evalW:realents^namedents
bestAnswer:foldl:takeAnswer:Nothing.corresponding:Tests.hs:displayResult
tag_dic_test
out:give--appropriate,perhaps,but_not_in_transcript
back_in:guys_say:takes_away_work_from_men:loops_NOT
answer:GTagQ. Could make shorter if expression syntax, not pattern matching syntax.
GPosQ,GNegQ:Positing:Intens:Changing--positer,referent,theme
transVP:Intens:Triangulating--can_uncle_alf_get_dee_a_job
NonProposition_propagates_failure.transS→eval.eval_NonProposition,_=Nothing
Positing:Pass:V2Slash.positer,referent.Does the interviewer say Dee is hired.
int=lookIntuples::String→[Entity]→Bool.uninflect::String→String
eval=justify::Bool→Maybe_Answer.evl::LF→Bool
back_out:justify.evl:b993b3543.eval_Neg_lf=eval_lf >>= notLF :: Answer -> Maybe Answer, Boolean b = Just Boolean not b. eval Eq a b = Just Boolean a == b.
Conj_lf1,lf2=liftM2_conjLF,eval_lf1,eval_lf2.conjLF::Answer→Answer→Answer.Boolean_f1,Boolean_f2=Boolean_f1_ad_f2
Conj_lfs=foldM_conjLF::Answer→Answer→Maybe_Answer,Boolean_b1,Boolean_b2=Just_Boolean_b1_and_b2.unJustAnswer::LF→Answer=fromMaybe_Boolean_False_eval_lf
unJustAnswer:Boolean_False^NoAnswer
(fromMaybe NoAnswer . eval)
Disj_lfs=foldM_disjLF::Answer→Answer→Maybe_Answer,Boolean_b1,Boolean_b2=Just_Boolean_b1_and_b2.unJustAnswer::LF→Answer=fromMaybe_Boolean_False_eval_lf
terms=map_Const_entities.eval (Exists scope)    = eval (Disj (map scope terms))
eval (Forall scope)    = eval (Conj (map scope terms))