lib/amharic by Markos Kassa Gobena

This commit is contained in:
aarne
2010-11-10 17:01:12 +00:00
parent 906b185d2f
commit ac54c8e6e5
35 changed files with 7552 additions and 2 deletions

View File

@@ -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
}