summaryrefslogtreecommitdiff
path: root/examples/attempto/TestAttempto.gf
blob: 1b953ed2d115f4c78485eea0fa149a3b646ce8b0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
abstract TestAttempto = Attempto ** {

fun
  card_N : CN ;
  water_MCN : MCN ;
  john_PN : PN ;
  apple_N : CN ;
  sleep_V : V ;
  young_A : A ;
  dog_N : CN ;
  animal_N : CN ;
  wait_V : V ;
  man_N : CN ;
  woman_N : CN ;
  give_V3 : V3 ;
  tired_A : A ;
  rich_A : A ;
  customer_N : CN ;
  enter_V2 : V2 ;
  bank_N : CN ;
  satisfied_A : A ;
  lucky_A : A ;
  well_known_A : A ;
  important_A : A ;
  expensive_A : A ;
  fill_in_V2 : V2 ;
  form_N : CN ;
  age_N : CN ;
  teacher_N : CN ;
  successful_A : A ;
  fond_A2 : A2 ;
  garden_N : CN ;
  morning_N : CN ;
  code_N : CN ;
  drinkable_A : A ;
  work_V : V ;
  admitted_A : A ;
  eat_V2 : V2 ;
  burger_N : CN ; 
  earn_V2 : V2 ;
  income_N : CN ;
  england_PN : PN ;
  beginning_N : CN ;
  office_N : CN ;  
  interested_A2 : A2 ;
  morning_N : CN ;
  classroom_N : CN ;
  manually_Adv : Adv ;
  slot_N : CN ;
  patiently_Adv : Adv ;
  course_N : CN ;
  carefully_Adv : Adv ;
  time_N : CN ;
  believe_VS : VS ;
  seriously_Adv : Adv ;
  clerk_N : CN ;
  screen_N : CN ;
  blink_V : V ;
  bed_N : CN ;
  container_N : CN ;
  automated_teller_N : CN ;
  reject_V2 : V2 ;
  accept_V2 : V2 ;
  type_V2 : V2 ;
  know_VS : VS ;
  manager_N : CN ;
  oversleep_V : V ;
  valid_A : A ;
  see_V2 : V2 ;
  bark_V : V ;
  go_V2 : V2 ;
  brother_N : CN ;
  mary_PN : PN ;
  machine_N : CN ;
  correct_A : A ;

  kilogram_Unit : Unit ;

  in_Prep : Prep ;
  at_Prep : Prep ;
  into_Prep : Prep ;


}