summaryrefslogtreecommitdiff
path: root/examples/animal/Questions.gf
blob: bb25e785dc38b0bba13a1a5c66638f92ef3df9e1 (plain)
1
2
3
4
5
6
7
8
9
10
-- Simple questions and answers, in present tense.

abstract Questions = {
  cat 
    Phrase ; Entity ; Action ;
  fun
    Who    : Action -> Entity -> Phrase ;           -- who chases X
    Whom   : Entity -> Action -> Phrase ;           -- whom does X chase
    Answer : Entity -> Action -> Entity -> Phrase ; -- X chases Y
}