Var:x^e1,e2,e3,etc_for_entity
TODO:Var_DRSRef_perhaps_mistake_for_Var_Entity.anyway,Var_DRSRef_x^r1,r2,r3,etc_for_reference
isRel:DRSCon-Bool.refs:DRSCon-[DRSRef].rel:DRSCon-String.replace:DResRef-Term.drsToLF_case_all_isRel_cs
tab_indent,showFormula_Conj_lfs:intercalate
drsToLF:case_ud_rs_of^pattern_guards.singleton:Evaluation^Translate
TODO:replace_Prop_DRSRef.isSuffixOf.Var_e5
replace::[L.Term]-DRSRef-L.Term
Var_DRSRef^Var_String.show_Var_e=e.term2ref::drsRefs-Term-DRSRef.e1=r1,etc.xyzwp:Var_p.replace.
replace^ref2term
reps=xyzwp:Terms^term2ref_drsRefs
drsConsToLF^drsToLF^drsUnToLF.filter_reflist_of_singleton.Exists:TODO.Loops
comment_out:DRS_Neg_d,DRS_Prop_p_d
empty_drsUnToLF^drsToLF.xyzwp:Evaluation^Translate
drsToLF^drsUnToLF
Exists_only_if_ref_elem_reflist
Exists_finds_thing_cond_before_ownership_cond:MassDet:GMassApos_follows_GApos_conds_order:pconds,ie,thing,ownership_conds,ie,have_x,p,qconds,ie,predicate_conds
ts=ref2term_rs^drsRefs.rs_gets_shorter.term2ref:error:show_x:undefined
map_ref2term_ts^xyzwp
State^state
uncomment:Neg_d,Prop_p_d.TODO:study_prop_FOL_rel_representation