For EN there is a tableau rule that accounts for light verb constructions: SICK-253 a hiker does a dance ==> a hiker dances(a_hiker do c1) AND (c1 IS dance) ==> a_hiker dance
note: a_hiker is due to using the strong NP alignment that treats shared pharses as constants (makes proofs shorter).
For NL this rules is not working because derivation relation for dans and dansen couldn't be found (yet?) in ODWN.
For EN there is a tableau rule that accounts for light verb constructions: SICK-253
note: a_hiker is due to using the strong NP alignment that treats shared pharses as constants (makes proofs shorter).
a hiker does a dance ==> a hiker dances(a_hiker do c1) AND (c1 IS dance) ==> a_hiker danceFor NL this rules is not working because derivation relation for
dansanddansencouldn't be found (yet?) in ODWN.