remade phrasebook doc

1 files changed, 35 insertions, 29 deletions

diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html
index 098814653..e431598da 100644
--- a/examples/phrasebook/Ontology.html
+++ b/examples/phrasebook/Ontology.html
@@ -29,6 +29,7 @@ are defined in other modules.
       PrimObject ;  -- single object of wanting, ordering, etc   e.g. "three pizzas"
       Item ;        -- a single entity                           e.g. "this pizza"
       Kind ;        -- a type of an item                         e.g. "pizza"
+      MassKind ;    -- a type mass (uncountable)                 e.g. "water"
       Quality ;     -- qualification of an item, can be complex  e.g. "very good"
       Property ;    -- basic property of an item, one word       e.g. "good"
       Place ;       -- location                                  e.g. "the bar" 
@@ -56,22 +57,23 @@ Many of the categories are accessible as Phrases, i.e. as translation units.
       PSentence    : Sentence -> Phrase ;
       PQuestion    : Question -> Phrase ;
   
-      PObject      : Object   -> Phrase ;
-      PKind        : Kind     -> Phrase ;
-      PQuality     : Quality  -> Phrase ;
-      PNumber      : Number   -> Phrase ;
-      PPlace       : Place    -> Phrase ;
-      PPlaceKind   : PlaceKind-> Phrase ;
-      PCurrency    : Currency -> Phrase ;
-      PPrice       : Price    -> Phrase ;
-      PLanguage    : Language -> Phrase ;
+      PObject      : Object      -> Phrase ;
+      PKind        : Kind        -> Phrase ;
+      PMassKind    : MassKind    -> Phrase ;
+      PQuality     : Quality     -> Phrase ;
+      PNumber      : Number      -> Phrase ;
+      PPlace       : Place       -> Phrase ;
+      PPlaceKind   : PlaceKind   -> Phrase ;
+      PCurrency    : Currency    -> Phrase ;
+      PPrice       : Price       -> Phrase ;
+      PLanguage    : Language    -> Phrase ;
       PCitizenship : Citizenship -> Phrase ;
-      PCountry     : Country -> Phrase ;
-      PDay         : Day -> Phrase ;
+      PCountry     : Country     -> Phrase ;
+      PDay         : Day         -> Phrase ;
       PByTransport : ByTransport -> Phrase ;
-      PTransport   : Transport -> Phrase ;
+      PTransport   : Transport   -> Phrase ;
   
-      PYes, PNo : Phrase ;
+      PYes, PNo, PYesToNo : Phrase ;  -- yes, no, si/doch (pos. answer to neg. question)
 </pre>
 
 This is the way to build propositions about inanimate items.
@@ -99,10 +101,12 @@ Here are some general syntactic constructions.
       ObjItem   : Item -> PrimObject ;             -- this pizza
       ObjNumber : Number -> Kind -> PrimObject ;   -- five pizzas
       ObjIndef  : Kind -> PrimObject ;             -- a pizza
+      ObjMass   : MassKind -> PrimObject ;         -- water
       ObjAndObj : PrimObject -> Object -> Object ; -- this pizza and a beer
       OneObj    : PrimObject -> Object ;           -- this pizza
   
       SuchKind : Quality -> Kind -> Kind ;         -- Italian pizza
+      SuchMassKind : Quality -> MassKind -> MassKind ; -- Italian water
       Very : Property -> Quality ;                 -- very Italian
       Too  : Property -> Quality ;                 -- too Italian      
       PropQuality : Property -> Quality ;          -- Italian
@@ -110,10 +114,11 @@ Here are some general syntactic constructions.
 
 Determiners.
 <pre>
-      This, That, These, Those : Kind -> Item ;    -- this pizza,...,those pizzas
-      The, Thes : Kind -> Item ;                   -- the pizza, the pizzas
+      This, That, These, Those : Kind -> Item ;         -- this pizza,...,those pizzas
+      The, Thes : Kind -> Item ;                        -- the pizza, the pizzas
+      ThisMass, ThatMass, TheMass : MassKind -> Item ;  -- this/that/the water
   
-      AmountCurrency : Number -> Currency -> Price ;  -- five euros
+      AmountCurrency : Number -> Currency -> Price ;    -- five euros
   
       ThePlace : PlaceKind -> Place ;                   -- the bar
       APlace : PlaceKind -> Place ;                     -- a bar
@@ -141,7 +146,8 @@ Determiners.
 Actions are typically language-dependent, not only lexically but also
 structurally. However, these ones are mostly functorial.
 <pre>
-      AHave     : Person -> Kind        -> Action ;  -- you have a pizza
+      AHave     : Person -> Kind        -> Action ;  -- you have pizzas
+      AHaveMass : Person -> MassKind    -> Action ;  -- you have water
       AHaveCurr : Person -> Currency    -> Action ;  -- you have dollars
       ACitizen  : Person -> Citizenship -> Action ;  -- you are Swedish
       ABePlace  : Person -> Place       -> Action ;  -- you are in the bar
@@ -161,19 +167,19 @@ structurally. However, these ones are mostly functorial.
 kinds of items (so far mostly food stuff)
 <pre>
       Apple : Kind ;
-      Beer : Kind ;
-      Bread : Kind ; 
-      Cheese : Kind ;
-      Chicken : Kind ; 
-      Coffee : Kind ; 
-      Fish : Kind ; 
-      Meat : Kind ;
-      Milk : Kind ; 
+      Beer : MassKind ;
+      Bread : MassKind ; 
+      Cheese : MassKind ;
+      Chicken : MassKind ; 
+      Coffee : MassKind ; 
+      Fish : MassKind ; 
+      Meat : MassKind ;
+      Milk : MassKind ; 
       Pizza : Kind ; 
-      Salt : Kind ; 
-      Tea : Kind ; 
-      Water : Kind ; 
-      Wine : Kind ;
+      Salt : MassKind ; 
+      Tea : MassKind ; 
+      Water : MassKind ; 
+      Wine : MassKind ;
 </pre>
 
 properties of kinds (so far mostly of food)