TODO:not_rewa
repAP::[DRSRef]_required_by_GBe_vp,Be_somewhere_type_signature
ported_Be_vp,GBe_someone,GBe_bad,GBe_somewhere
ported_GLook_bad
ported_GTriangulating
ported_GPositing.TODO:extra_z=theme
ported_GPositing.GIntens.GChanging
xyzw:DRSRefs.ported_GPositing.GNegS.GIntens.GChanging
restored_repCN_GOfpart
rep:[DRSRefs]type_signature.answer:comment_out--Just_GYes
repMassDet:Gzero_Det_sg_follows_repDet:Ga_Det
repPartitive.GOfpart:Rel_in_form_of
lambda:unmaybe.rep_x_xyzw
remove_old_csfp:transS,etc_code.parallel_Data.FOL.Formula.FOLForm.Has_LF_datatype_only.
out:DRES
Translate.drsToLF_should_produce_ForAll,Exists_for_DRSRefs_list_one_by_one
ported_Data.DRS.Translate_removing_drsRelToString,drsRefToDRSVar,Prop,Diamond,Box,comments.FOLForm^LF
import_Translate.drsToLF.but_eval,drsToLF_expects_DRS,not_DRSRefs,DRS
(eval . drsToFOL . unmaybe . repS) utt → eval (resolveDrsToLF ((unmaybe . repS) utt) xyzw)
type DRSUnresolved = [DRSRef] -> DRS; resolveDrsToLF :: DRSUnresolved -> [DRSRef] -> L.LF