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