diff options
Diffstat (limited to 'examples/attempto/Attempto.gf')
| -rw-r--r-- | examples/attempto/Attempto.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/attempto/Attempto.gf b/examples/attempto/Attempto.gf index 0020973ce..0a58ae398 100644 --- a/examples/attempto/Attempto.gf +++ b/examples/attempto/Attempto.gf @@ -254,6 +254,8 @@ fun impVP : VP -> Text ; -- go to the bank! fun numeralCard : Numeral -> Card ; -- fifteen banks fun digitsCard : Digits -> Card ; -- 8 banks fun have_V2 : V2 ; -- has (an apple) +fun v2_byVP : V2 -> NP -> VP ; -- is bought by a customer + } |