-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the ccg2lambda wiki!
f = lexpr(r'(exists x.(_boy(x) & True & exists e.(_walk(e) & (Subj(e) = x) & True)) & exists x.(_girl(x) & True & exists e.(_walk(e) & (Subj(e) = x) & True)))')
＞＞＞ f
<AndExpression (exists x.(_boy(x) & True & exists e.(_walk(e) & (Subj(e) = x) & True)) & exists x.(_girl(x) & True & exists e.(_walk(e) & (Subj(e) = x) & True)))>
＞＞＞ convert_to_drs(f)
<DRS ([e7,e9,x6,x8],[boy(x6), walk(e7), (subj(e7) = x6), girl(x8), walk(e9), (subj(e9) = x8)])>
＞＞＞ convert_to_drs(f).fol()
<ExistsExpression exists e11 e13 x10 x12.(boy(x10) & walk(e11) & (subj(e11) = x10) & girl(x12) & walk(e13) & (subj(e13) = x12))>
＞＞＞ convert_to_drs(f).refs
[Variable('x14'), Variable('e15'), Variable('x16'), Variable('e17')]
＞＞＞ convert_to_drs(f).conds
[<DrtApplicationExpression boy(x18)>, <DrtApplicationExpression walk(e19)>, <DrtEqualityExpression (subj(e19) = x18)>, <DrtApplicationExpression girl(x20)>, <DrtApplicationExpression walk(e21)>, <DrtEqualityExpression (subj(e21) = x20)>]