tidying_up.Prop_r_d=drsToLF_d
eval_Rel=int_rel_map_ref2ent_rs.x=Q,y=C,z=D,w=M
state_of_Colorado:in_line_with_WordsCharacters.hs
lower_case_entity_names:in_line_with_JacksonEng,not_with_WordsCharacters.hs
condition.L:lotion,Patient_in_form_of_V:bottle,Instrument
no_Queen_have_daughter.out:possessions,have_twoPlaceStarters.affiliation.Q:queen,Agent_mother_D:daughter,Patient.What_about:other_haves,eg.condition.X:christmas,Agent_have_W:joy,Theme_in_predid2
Exists_drsConsToLF_cs_rs.But,drsConsToLF::[DRSCons]-LF,has_1,not_2,args
answer:resolveDrsToLF^drsToLF.export_drsToLF
LF:ForAll,Exists_DRSReflist.instance_Show_LF:Rel
out:resolveDrsToLF.back_in:drsToLF::DRSUnresolved→[DRSRef]→L.LF.case_of_Rel_r_d.mkLF_Rel=Rel_r_rs
Data.FOL.Formula:out. ts = map (\ps' -> (\rs -> drsToLF (unmaybe (rep (head ps'))) rs) ) ps
hiding:Or,Imp,Neg,Rel.DRS.FOL.Show:showFOLForm^showLForm.aargh:haskell_indent_formatting.unicode_logical_symbols
working:drsToLF_(DRS _ (Rel name rs' : cs)) -> (\rs'' -> L.And (L.Rel name rs') (drsToLF ( \rs'' -> DRS rs'' cs) rs) ) rs
think_twoPlacers.idea.Q:queen,Agent_think_P:undefined,Theme
ref2ent:p=P
look,feel_twoPlacers.condition.Q:queen,Patient_look,feel_P:undefined,Theme
VerbNet:general_thematic_roles
logic^fol,lf.remove_2da486_head_hack.drsToFOL,drsToLF.xyzw
ts:delete_lambda_p.insert_xyzw
fol,lf_difference=drsToFOL ((unmaybe . rep) p xyzw) and drsToLF ((unmaybe . rep) p ) xyzw