repNP_Gitem_det_cn=repDet_det,repCN_cn.repDet_Ga_Det=Merge
repNP_GMassItem_det_n=repMassDet_det,repN_n.repMassDet_Gzero_Det_sg=\p_q,Merge_p_DRSRef_x,q_DRSRef_x
the_mass_Det=zero_Det_sg
GthSg_Det=Ga_Det
Be_vp_Be_someone=∃x(queen(w,x)) → (woman(w,x))
linNP::NP-String.Be_vp,Be_someone:Imp,linnp,comp.TODO:repNP:Merge,x,x^Imp,x,y
linIP::GIP→String,ie,person,thing.repS_GWH_Pred_wh,GBe_vp_GBe_someone
out:repVP_Be_vp_comp.in:repS_GWH_Pred,GBe_bad
p_DRSRef:y^x
repS:GChanging:x,y,Rel_subj_x,Rel_subj_y,Rel_verb_x_y
import_Representation,export_rep=repS.fg.LogicalForm:Relation,Negation.fol_tests=map_rep
linNP:GKind,GKind_GOfpos
repNP:DRS^DRSCon,[DRSCon]→Rel_DRSRel_name_DRSRef_x,p_DRSRef_x.repVP:DRS^DRSCon,Rel_DRSRel_v
repS=DRS_DRSRef_x,conds_where_conds=repNP_np_repVP_vp
repVP:GChanging_subj,e^x,y
TODO_Will_back_out:repVP::GVP→DRSRef→[DRSCon].∃x∃y(queen(w,x) ∧ (colorado(w,x) ∧ (colorado(w,x) ∧ cover(w,x,x))))
reintroduce_DRSRefTuple:commit_f42ee28e
DRSRefTuple_OneRef:1-tuple.first,second::DRSRefTuple࢐DRSRef.repNP:drsRef^drsRefTuple.P_TwoRef_x,y.repVP:drsRef^drsRefTuple.first_x,second_y
repNP:GNP→Int→DRSCon→Int→[DRSCon].repS:conds=repNP_no_repVP_vp_0.repVP=GChanging,Refs_x+i,x+m.i+1
back_out_repS_GChanging