Light verb construction

[kovvalsky]

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.