tree 354

354 V1VMod:agreement arg1:caimp:agreement clsubj:agreement clsubj_alt:agreement clsubj_il:agreement clsubj_ilimp:agreement arg1:ilimp:agreement arg1:imp_subj_alt:agreement ante:clitic_sequence post:clitic_sequence clitics arg0:collect_real_arg arg2:collect_real_arg arg1:collect_real_subject arg0:real_group_clefted_comp arg2:real_group_comp arg1:PP:true_subject arg1:cl:true_subject arg1:noun:true_subject arg1:post_PP:true_subject arg1:post_noun:true_subject arg1:post_s:true_subject arg1:post_v:true_subject arg1:s:true_subject arg1:v:true_subject v_with_subcat Infl:verb_agreement V:verb_agreement v:verb_agreement V1:verb_agreement_ancestor arg0:verb_argument_other arg2:verb_argument_other arg1:verb_argument_subject verb_categorization_passive verb_extraction_cleft

top
extraction-
quant
quant@2163
bot
extractioncleft
gender
arg2:gender@849
inv
inv@2165~cl
mode
mode@2175~gerundive|imperative|infinitive|participle
neg
neg@2173
number
arg2:number@847
person
arg2:person@850
quant
quant@2163
sat-
tense
tense@2169
wh
wh@2167
top
quant
quant@2163
bot
catCS|N2|S|adv|csu|pres|pro
neg-
position-|post
top
arg0:bot@1942
positionpost
bot
arg0:bot@1942
top
pcas
pcas@2191-|contre|par
real
arg0:real@1850N|N2|adj
wh
arg0:wh@1852
bot
pcas
pcas@2191
real
arg0:real@1850
wh
arg0:wh@1852
OR
real@2212CS|N2|PP|S|adv|comp
=PP
OR
arg0:real@1850
=N2|N
arg0:id@1843comp|preparg
=preparg
top
adv_kindloc
OR
real@2212
=adv
arg2:function@838
=loc
pcas@2191
=-
top
caseacc
bot
caseacc
top
control
arg1:control@2010
extractionadjx
inv
inv@2165
mode
mode@2175
neg
neg@2173
quant
quant@2163
sat-
tense
tense@2169
wh
wh@2167
bot
control
arg1:control@1987
extractionadjx
gender
arg2:gender@849
inv
arg1:inv@1994+|-|cl
mode
mode@557
neg
arg2:neg@548
number
arg2:number@847
person
arg2:person@850
quant
V1:quant@590
sat
arg1:sat@1921
tense
V:tense@543
xarg
case
arg1:case@1901
gender
arg1:gender@1914
number
arg1:number@1912
trace
arg1:trace@1900
top
arg1:top@1897
cat
arg1:cat@1905CS|N2|PP|S|adv|csu|pres|pro
neg-
position
arg1:position@1911-|postsubj
bot
arg1:top@1897
OR
arg2:presubj@841
=-
OR
arg2:imp@833
=-
OR
arg1:inv@1994
=-|cl
arg1:real@1893-|CS|N2|PP|S|cln|prel|pri
=~-|prel|pri
impsubj@554
=-
arg2:presubj@841
=+
OR
arg1:v:strace@1940
=-
arg1:trace@1900
=-
arg1:case@1901
=~nom
arg1:v:strace@1940
=+
arg1:case@1901
=-|nom
arg1:trace@1900
=+
top
gender
arg2:gender@849
number
arg2:number@847
person
arg2:person@850
bot
casenom
OR
arg1:inv@1994
=-
arg1:position@1911
=-
OR
arg1:real@1893
=cln
arg1:v:strace@1940
=-
top
casenom
gender
arg2:gender@849
number
arg2:number@847
person
arg2:person@850
wh-
bot
casenom
wh-
OR
arg1:real@1893
=N2
arg1:v:strace@1940
=-
top
gender
arg2:gender@849
modesubjonctive
number
arg2:number@847
person
arg2:person@850
queque
bot
modesubjonctive
queque
OR
mode@557
=~subjonctive
OR
arg1:cat@1905
=adv
OR
arg1:real@1893
=CS
arg1:v:strace@1940
=-
top
control~causative
extraction
arg1:extraction@1907
gender
arg2:gender@849
mode
arg1:mode@1906
number
arg2:number@847
person
arg2:person@850
sat-
wh
arg1:wh@1908
bot
control~causative
extraction
arg1:extraction@1907
mode
arg1:mode@1906
sat-
wh
arg1:wh@1908
OR
arg1:cat@1905
=adv
OR
arg1:mode@1906
=infinitive
arg1:extraction@1907
=-
arg1:extraction@1907
=wh
arg1:wh@1908
=+
OR
arg1:real@1893
=S
arg1:v:strace@1940
=-
top
gender
arg2:gender@849
number
arg2:number@847
pcasde
person
arg2:person@850
realS
bot
pcasde
realS
OR
arg1:cat@1905
=adv
OR
arg1:real@1893
=PP
arg1:v:strace@1940
=-
top
predet_kindadv|nc
OR
arg1:real@1893
=N2
arg1:v:strace@1940
=-
arg2:number@847
=pl
arg2:person@850
=3
top
arg1:@1929
bot
arg1:@1929
OR
arg1:real@1893
=N2
arg1:v:strace@1940
=+
OR
impsubj@554
=~+
OR
arg2:imp@833
=+
impsubj@554
=+
arg2:number@847
=sg
arg2:person@850
=3
top
arg1:@1980
gender
arg1:ilimp:gender@369
number
arg1:ilimp:number@371
person
arg1:ilimp:person@367
bot
arg1:@1980
top
arg1:@1979
gender
arg1:ilimp:gender@369
number
arg1:ilimp:number@371
person
arg1:ilimp:person@367
bot
arg1:@1979
top
gender
arg2:gender@849
inv
arg1:inv@1994
mode
mode@557
number
arg2:number@847
person
arg2:person@850
quant
V1:quant@590
tense
V:tense@543
bot
gender
arg2:gender@849
inv
arg1:inv@1994
mode
mode@1435~gerundive|imperative
number
arg2:number@847
person
arg2:person@850
quant
V1:quant@590
tense
V1:tense@596
top
top@1440
gender
arg2:gender@849
number
arg2:number@847
person
arg2:person@850
positionpost
quant
V1:quant@590
bot
top@1440
top
gender
arg2:gender@849
inv
arg1:inv@1994
mode
mode@1435
number
arg2:number@847
person
arg2:person@850
quant
V1:quant@590
tense
V1:tense@596
vlex
vlex@1424
bot
gender
arg2:gender@849
inv
arg1:inv@1994
mode
mode@1435
number
arg2:number@847
person
arg2:person@850
quant
v:quant@537-|subj
tense
V1:tense@596
vlex
vlex@1424
top
@1489
bot
@1489
OR
clneg@1486
=-
OR
clneg@1486
=+
arg2:neg@548
=+
mode@1435
=~participle
OR
arg2:neg@548
=+
mode@1435
=infinitive|participle|adjective
top
number
arg2:number@847
person
arg2:person@850
bot
number
arg2:number@847
person
arg2:person@850
OR
clr@1500
=-
arg1:real@1893
=~clr
arg2:real@1848-|CS|N|N2|PP|S|V|adj|adv|caimp|cla|cld12|cld3|clg|cll|cln|clr|comp|coo|ilimp|nc|number|prel|prep|pres|pri|que
=~clr
OR
refl@1503
=-
aux_req@1504
=être
OR
clr@1500
=+
mode@1435
=~imperative
aux_req@1504
=être
top
ante:@1568
bot
ante:@1568
OR
post:excl@1548-|ante
=-|post
OR
ante:hascl@1536-|cla|cld12|cld3|clg|cll
=-
OR
post:excl@1548
=ante
OR
ante:hascl@1536
=~-
top
person
ante:person@15531|2
bot
person1|2
OR
ante:present@1552
=-
ante:hascl@1536
=~cld12
arg@1520
real
real@1519
=
kindprepobj
pcasà
real-|cld3
OR
ante:present@1552
=+
ante:hascl@1536
=~-
post:excl@1548
=ante
post:person@1551
=
ante:person@1553
arg@1520
=
kindprepobj
pcasà
realcld12
OR
ante:present@1554
=-
ante:hascl@1536
=~cla
arg@1509
function
post:function@1556
kind
post:kind@1559
real
post:real@1558
=
kind-
pcas-
real-
top
person
ante:person@1549
bot
person
ante:person@1549
OR
ante:present@1546
=-
ante:hascl@1536
=~cld3
arg@1520
=
kindprepobj
pcasà
real-|cld12
OR
ante:present@1546
=+
ante:hascl@1536
=~-
ante:exists@1550
=+
arg@1520
=
kindprepobj
pcasà
realcld3
post:person@1551
=
ante:person@1549
OR
post:excl@1548
=ante
ante:person@1549
=3|-
top
ante:@1567
bot
ante:@1567
OR
ante:present@1542
=-
ante:hascl@1536
=~cll
arg@1514
function
function@1516
real
real@1513
=
pcas-
kind-
real-
extracted-
subarg-
post:lex@1544
=-
OR
ante:present@1542
=+
ante:hascl@1536
=~-
arg@1514
=
functionloc|dloc|obl|obl2
pcas~-|pour|contre|avec|par|en
realcll
post:lex@1544
=
ante:lex@1545
OR
ante:present@1539
=-
ante:hascl@1536
=~clg
arg@1518
real
real@1517
=
kind-
pcas-
real-
top
aux_req
aux_req@1456
gender
arg2:gender@849
inv
arg1:inv@1994
mode
mode@1435
number
arg2:number@847
person
arg2:person@850
quant
v:quant@537
tense
V1:tense@596
bot
aux_req
aux_req@1504
gender
v:gender@545
inv
arg1:inv@1994
modeparticiple
number
v:number@547
person
v:person@539
quant
v:quant@537
tense
v:tense@543
wh
wh@558
top
top@1403
aux_reqêtre
diathesispassive
gender
v:gender@545
modeparticiple
number
v:number@547
person
v:person@539
quant
v:quant@537
tense
v:tense@543
être
arg2:être@842
bot
top@1403
OR
v:number@547
=
arg2:number@847
v:gender@545
=
arg2:gender@849
aux_req@1504
=être
OR
clr@1500
=-
OR
arg2:number@847
=pl
arg2:person@850
=2
v:number@547
=sg
arg2:number@847
=sg
arg2:person@850
=3
arg2:gender@849
=on
clr@1500
=+
aux_req@1504
=~être
OR
mode@1435
=~participle|gerundive
OR
arg1:sat@1921
=-
mode@1435
=participle
aux_req@1456
=être
arg1:sat@1921
=-|ppart
OR
clr@1500
=-
arg1:real@1893
=~clr
arg2:real@1848
=~clr
clr@1500
=+
OR
refl@1503
=+
arg1:real@1893
=~clr
arg2:real@1848
=~clr
refl@1503
=-
OR
arg1:real@1893
=~clr
OR
arg2:arg
extracted-
function
arg2:function@836
kind
arg1:kind@1989-|acomp|prepacomp|prepobj|prepscomp|prepvcomp|scomp
pcas
arg1:pcas@1992~par
real
arg2:real@1848
subarg-
=
argprepobj@1492
functionobjà
kindprepobj
pcasavec|à
realclr
OR
post:real@1558
=-
real@2212
=~cla
arg1:real@1893
=~cla
arg2:real@1848
=~cla
post:excl@1548
=~-
OR
post:real@1558
=cla
OR
post:kind@1559
=obj
objinfo@1526
gender
arg2:gender@853
number
arg2:number@851
person
arg2:person@852
=
objinfo@1527
gender
post:gender@1562
number
post:number@1560
person
post:person@1564
post:kind@1559
=acomp
post:number@1560
=sg
post:gender@1562
=masc
post:person@1564
=3
post:real@1558
=clr
OR
real@1519
=-
real@2212
=~cld12|cld3
arg1:real@1893
=~cld12|cld3
arg2:real@1848
=~cld12|cld3
post:excl@1548
=~-
real@1519
=~-
OR
extracted@2184
extractedcleft
function
arg2:function@838
kindprepobj
pcas
pcas@2191
real
real@2212
subarg-
=
arg@1520
arg1:real@1893
=~cld12|cld3
arg2:real@1848
=~cld12|cld3
arg1:@1835
extracted-
function
arg2:function@839
kindsubj
pcas-
real
arg1:real@1893
subarg
subarg@1524
=
arg@1520
real@2212
=~cld12|cld3
arg2:real@1848
=~cld12|cld3
arg2:arg
=
arg@1520
real@2212
=~cld12|cld3
arg1:real@1893
=~cld12|cld3
OR
real@1517
=-
arg1:real@1893
=~clg
arg2:real@1848
=~clg
post:excl@1548
=~-
real@1517
=~-|cla
OR
arg1:@1835
=
arg@1518
arg2:real@1848
=~clg
arg2:arg
=
arg@1518
arg1:real@1893
=~clg
OR
arg1:real@1893
=~cll
arg2:real@1848
=~cll
post:excl@1548
=~-
real@1513
=cll
OR
arg1:@1835
=
arg@1514
arg2:real@1848
=~cll
arg2:arg
=
arg@1514
arg1:real@1893
=~cll
OR
post:lex@1544
=y|-y
function@1516
=loc|obl|obl2
post:lex@1544
=y|-y
function@1516
=dloc
OR
post:excl@1548
=ante
OR
mode@1435
=~imperative|participle
post:excl@1548
=-
real@2212
=~cla|cld12|cld3|clg
arg1:real@1893
=~cla|cld12|cld3|clg
arg2:real@1848
=~cla|cld12|cld3|clg
OR
arg2:presubj@841
=+
OR
mode@557
=~infinitive|imperative|gerundive|participle
mode@557
=gerundive|participle
arg1:sat@1921
=ppart
arg1:real@1893
=N2
arg2:presubj@841
=-
OR
mode@557
=infinitive
mode@557
=imperative|gerundive|participle
arg1:real@1893
=-
mode@557
=gerundive
arg1:real@1893
=~-
mode@557
=~infinitive|imperative|gerundive|participle|adjective
OR
wh@558
=+
arg1:inv@1994
=~-
arg1:xcomp_by_adj@1925
=+
arg2:imp@833
=+
OR
mode@557
=~adjective
arg1:real@1893
=-|S
mode@557
=adjective
arg1:real@1893
=~-|N2|S
OR
vlex@1424
=a|aura|avait|eu
impsubj@554
=~-
arg2:ilya@1874
=+
arg2:ilya@1874
=-
OR
arg1:case@1901
=-|nom
arg1:number@1912
=
arg2:number@847
arg1:gender@1914
=
arg2:gender@849
arg1:case@1901
=~-|nom
OR
mode@1435
=participle
mode@1435
=~participle
OR
post:real@1558
=-
post:excl@1548
=~-
OR
post:real@1558
=cla
OR
extracted@2184
=
arg@1509
arg1:real@1893
=~cla
arg2:real@1848
=~cla
arg1:@1835
=
arg@1509
real@2212
=~cla
arg2:real@1848
=~cla
arg2:arg
=
arg@1509
real@2212
=~cla
arg1:real@1893
=~cla
OR
clneg@1486
=+
clneg@1486
=-
OR
arg2:neg@548
=-
mode@1435
=~participle|infinitive
mode@1435
=participle|infinitive|adjective
OR
arg1:inv@1994
=~cl
arg1:inv@1994
=cl
mode@557
=~infinitive|participle|gerundive|imperative
top
arg2:bot@1889
gender
arg2:gender@849
number
arg2:number@847
person
arg2:person@850
positionpost
quant
V1:quant@590
bot
arg2:bot@1889
OR
arg2:real@1848
=-
arg1:kind@1989
=-
arg1:pcas@1992
=-
arg2:real@1848
=cld12|cld3|clr
arg2:function@836
=objà
arg1:kind@1989
=prepobj
arg1:pcas@1992
=à|avec
arg2:real@1848
=cla|clg|clr|antepro
OR
arg1:kind@1989
=obj|acomp
arg1:pcas@1992
=-
arg2:real@1848
=clg
arg1:kind@1989
=prepobj
arg1:pcas@1992
=de
arg2:function@836
=objde
arg2:real@1848
=cll
arg2:function@836
=loc|dloc|obl|obl2
OR
arg2:real@1848
=N2|comp|pro|PP|CS|S|adv
arg1:kind@1989
=~-
top
arg2:@550
bot
arg2:@550
OR
arg2:neg@548
=+
arg2:cat@549
=N2|comp|pro|PP|S|adv|ncpred|adjP|V|Infl|CS
top
gender
arg2:gender@1856
number
arg2:number@1872
person
arg2:person@1871
real
arg2:real@1855
bot
gender
arg2:gender@1856
number
arg2:number@1872
person
arg2:person@1871
real
arg2:real@1855
OR
arg2:function@836
=att
arg2:real@1848
=comp
arg1:kind@1989
=acomp
arg1:pcas@1992
=-
OR
arg2:flag@1857
=+
arg2:person@1863
=
arg2:person@1871
OR
arg2:number@1861
=
arg2:number@1872
arg2:number@1861
=pl
arg2:person@1863
=2
arg2:number@1872
=sg
arg2:flag@1857
=-
OR
OR
arg2:real@1855
=adj
arg2:real@1855
=PP
arg2:gender@1856
=~-
arg2:flag@1857
=+
OR
arg2:ctrsubj@837
=suj
arg1:kind@1989
=~obj|scomp|vcomp|prepvcomp
arg2:number@1861
=
arg2:number@847
arg2:person@1863
=
arg2:person@850
arg2:gender@1856
=
arg2:gender@849
arg2:ctrsubj@837
=obj
arg2:number@1861
=
arg2:number@851
arg2:person@1863
=
arg2:person@852
arg2:gender@1856
=
arg2:gender@853
arg2:flag@1857
=-
OR
arg2:real@1855
=N2
arg2:real@1855
=PP
arg2:gender@1856
=-
OR
arg1:inv@1994
=~+
arg1:inv@1994
=+
arg1:control@2010
=causative
OR
arg2:ctrsubj@837
=suj
arg2:ctrsubj@837
=obj
arg2:function@839
=obj
bot
arg
arg2:arg
OR
arg1:kind@1989
=scomp|whcomp|vcomp|vcompcaus|prepscomp|prepvcomp|acomp|vcompprog
arg2:real@1848
=CS|S|PP
top
pcas
arg2:pcas@827
OR
arg1:pcas@1992
=-
arg1:kind@1989
=~prepscomp|prepvcomp
OR
arg1:kind@1989
=prepscomp|prepvcomp
arg1:pcas@1992
=à|de|pour|sur|par
arg1:pcas@1992
=
arg2:pcas@827
OR
arg2:is_present@825
=-
OR
arg1:kind@1989
=~prepscomp
OR
arg1:kind@1989
=prepscomp
top
arg2:@854
bot
arg2:@854
OR
arg2:is_present@823
=-|colon
OR
arg2:is_present@823
=csu
OR
arg2:is_present@823
=-|csu
OR
arg2:is_present@823
=colon
top
control
arg2:control@834
extraction
arg2:extraction@831
gender
arg2:gender@848
mode
arg2:mode@820~gerundive|imperative
number
arg2:number@846
sat-
wh
arg2:wh@832
bot
control
arg2:control@834
extraction
arg2:extraction@831
gender
arg2:gender@848
mode
arg2:mode@820
number
arg2:number@846
sat-
wh
arg2:wh@832
OR
arg1:kind@1989
=scomp|prepscomp|prepvcomp|vcompcaus|acomp|vcomp|whcomp|vcompprog
OR
arg1:kind@1989
=scomp|prepscomp|prepvcomp|vcompcaus|acomp|vcomp|vcompprog
arg2:extraction@831
=-
OR
arg2:real@1848
=CS
arg1:kind@1989
=scomp
arg2:mode@820
=~infinitive|participle
arg2:real@1848
=S
OR
arg1:kind@1989
=acomp
arg2:être@842
=-
arg2:control@834
=-
arg2:mode@820
=participle
OR
arg2:number@846
=
arg2:number@847
arg2:gender@848
=
arg2:gender@849
arg2:number@847
=pl
arg2:person@850
=2
arg2:number@846
=sg
arg2:number@847
=sg
arg2:person@850
=3
arg2:gender@849
=on
arg2:real@1848
=PP
OR
arg1:kind@1989
=prepscomp
arg2:mode@820
=~infinitive|participle
arg1:kind@1989
=prepvcomp
arg2:mode@820
=infinitive
arg2:control@834
=~causative
OR
arg2:ctrsubj@837
=
arg2:function@838
arg2:ctrsubj@837
=
arg2:function@839
arg2:ctrsubj@837
=
arg2:function@836
OR
arg2:control@834
=-
OR
arg2:is_present@823
=-
arg1:kind@1989
=~scomp|prepscomp
arg2:is_present@823
=csu
arg1:kind@1989
=scomp|prepscomp
arg2:is_present@823
=colon
arg1:kind@1989
=scomp
OR
arg1:kind@1989
=acomp
arg2:nodeid@822comp|xcomp
=comp
arg1:kind@1989
=~acomp
arg2:nodeid@822
=xcomp
top
pcas
arg1:pcas@1992
real
arg2:real@1850N|N2|adj
wh
arg2:wh@1852
bot
pcas
arg1:pcas@1992
real
arg2:real@1850
wh
arg2:wh@1852
OR
arg2:real@1848
=PP
arg1:kind@1989
=prepobj|prepacomp
OR
arg1:kind@1989
=prepobj
arg2:real@1850
=N2|N
arg2:id@1843comp|preparg
=preparg
arg1:kind@1989
=prepacomp
arg1:pcas@1992
=comme|de|pour
arg2:id@1843
=comp
top
adv_kindloc
OR
arg1:kind@1989
=prepobj
arg2:real@1848
=adv
arg2:function@836
=loc
arg1:pcas@1992
=-
top
arg1:bot@1984
positionpost
bot
arg1:bot@1984
OR
arg1:inv@1994
=~+
OR
arg2:presubj@841
=+
arg2:presubj@841
=-
arg1:inv@1994
=cl
arg1:real@1893
=cln
arg1:real@1893
=-
OR
arg2:presubj@841
=-
arg1:real@1893
=
arg1:post_noun:real@1938CS|N2|PP|S
OR
mode@557
=~infinitive|imperative|gerundive|participle
arg1:control@2010
=-
mode@557
=infinitive
arg1:control@2010
=causative|control_with_postsubj
arg2:imp@833
=-
mode@557
=gerundive
OR
arg2:imp@833
=+
arg2:imp@833
=-
arg1:inv@1994
=+
arg1:real@1893
=N2
arg2:number@847
=
arg1:number@2001
arg2:gender@849
=
arg1:gender@2003
arg2:person@850
=
arg1:person@2005
bot
pcas
arg1:pcas@1990par|à
OR
arg1:control@1987
=~causative
OR
arg1:control@1987
=causative
OR
arg1:pcas@1990
=à
arg1:pcas@1992
=~à
arg1:pcas@1990
=par
top
casenom
gender
arg1:gender@2003
number
arg1:number@2001
person
arg1:person@2005
sat+
wh-
bot
casenom
sat+
wh-
OR
arg1:post_noun:real@1938
=N2
arg1:post_v:strace@1940
=-
top
gender
arg1:gender@2003
number
arg1:number@2001
person
arg1:person@2005
queque
bot
queque
OR
mode@557
=~subjonctive
OR
arg1:post_noun:real@1938
=CS
arg1:post_v:strace@1940
=-
top
control~causative
extraction-
gender
arg1:gender@2003
modeinfinitive
number
arg1:number@2001
person
arg1:person@2005
sat-
bot
control~causative
extraction-
modeinfinitive
sat-
OR
arg1:post_noun:real@1938
=S
arg1:post_v:strace@1940
=-
top
gender
arg1:gender@2003
number
arg1:number@2001
pcasde
person
arg1:person@2005
realS
bot
pcasde
realS
OR
arg1:post_noun:real@1938
=PP
arg1:post_v:strace@1940
=-
'
arg0
extracted@2184
extractedcleft
function
arg2:function@838
kindprepobj
pcas
pcas@2191-|contre|par
real
real@2212CS|N2|PP|S|adv|comp
subarg-
arg1
arg1:@1835
extracted-
function
arg2:function@839
kindsubj
pcas-
real
arg1:real@1893-|CS|N2|PP|S|cln|prel|pri
subarg
subarg@1524
arg2
arg2:arg
extracted-
function
arg2:function@836
kind
arg1:kind@1989-|acomp|prepacomp|prepobj|prepscomp|prepvcomp|scomp
pcas
arg1:pcas@1992~par
real
arg2:real@1848-|CS|N|N2|PP|S|V|adj|adv|caimp|cla|cld12|cld3|clg|cll|cln|clr|comp|coo|ilimp|nc|number|prel|prep|pres|pri|que
subarg-
catv
ctrsubj
arg2:ctrsubj@837
diathesispassive
imp
arg2:imp@833
refl
refl@1503

'