Added the FraCaS Treebank to the examples

examples/fracas/src/FraCaSLex.gf

@@ -0,0 +1,519 @@
+--# -path=.:alltenses
+
+-- FraCaSLex: Abstract lexicon for the FraCaS test suite
+
+abstract FraCaSLex = Cat ** {
+
+fun
+-- NOUNS
+  accountant_N : N ;
+  agenda_N : N ;
+  animal_N : N ;
+  apcom_contract_N : N ;
+  apcom_manager_N : N ;
+  auditor_N : N ;
+  authority_N : N ;
+  board_meeting_N : N ;
+  boss_N : N ;
+  business_N : N ;
+  businessman_N : N ;
+  car_N : N ;
+  case_N : N ;
+  chain_N : N ;
+  chairman_N : N ;
+  chairman_N2 : N2 ;
+  charity_N : N ;
+  clause_N : N ;
+  client_N : N ;
+  colleague_N : N ;
+  commissioner_N : N ;
+  committee_N : N ;
+  committee_member_N : N ;
+  company_N : N ;
+  company_car_N : N ;
+  company_director_N : N ;
+  computer_N : N ;
+  concert_N : N ;
+  conference_N : N ;
+  continent_N : N ;
+  contract_N : N ;
+  copy_N : N ;
+  country_N : N ;
+  cover_page_N : N ;
+  customer_N : N ;
+  day_N : N ;
+  delegate_N : N ;
+  demonstration_N : N ;
+  department_N : N ;
+  desk_N : N ;
+  diamond_N : N ;
+  editor_N : N ;
+  elephant_N : N ;
+  european_N : N ;
+  executive_N : N ;
+  factory_N : N ;
+  fee_N : N ;
+  file_N : N ;
+  greek_N : N ;
+  group_N2 : N2 ;
+  hard_disk_N : N ;
+  heart_N : N ;
+  hour_N : N ;
+  house_N : N ;
+  individual_N : N ;
+  inhabitant_N2 : N2 ;
+  invoice_N : N ;
+  irishman_N : N ;
+  italian_N : N ;
+  itel_computer_N : N ;
+  itelxz_N : N ;
+  itelzx_N : N ;
+  itelzy_N : N ;
+  item_N : N ;
+  job_N : N ;
+  labour_mp_N : N ;
+  laptop_computer_N : N ;
+  law_lecturer_N : N ;
+  lawyer_N : N ;
+  line_N : N ;
+  literature_N : N ;
+  lobby_N : N ;
+  loss_N : N ;
+  machine_N : N ;
+  mammal_N : N ;
+  man_N : N ;
+  meeting_N : N ;
+  member_N : N ;
+  member_state_N : N ;
+  memoir_N : N ;
+  mips_N : N ;
+  moment_N : N ;
+  mortgage_interest_N : N ;
+  mouse_N : N ;
+  newspaper_N : N ;
+  nobel_prize_N : N ;
+  nobel_prize_N2 : N2 ;
+  note_N : N ;
+  novel_N : N ;
+  office_building_N : N ;
+  one_N : N ;
+  order_N : N ;
+  paper_N : N ;
+  payrise_N : N ;
+  pc6082_N : N ;
+  performance_N : N ;
+  person_N : N ;
+  philosopher_N : N ;
+  phone_N : N ;
+  politician_N : N ;
+  popular_music_N : N ;
+  program_N : N ;
+  progress_report_N : N ;
+  project_proposal_N : N ;
+  proposal_N : N ;
+  report_N : N ;
+  representative_N : N ;
+  resident_N : N ;
+  resident_in_N2 : N2 ;
+  resident_on_N2 : N2 ;
+  result_N : N ;
+  right_N : N ;
+  sales_department_N : N ;
+  scandinavian_N : N ;
+  secretary_N : N ;
+  service_contract_N : N ;
+  shore_N : N ;
+  software_fault_N : N ;
+  species_N : N ;
+  station_N : N ;
+  stock_market_trader_N : N ;
+  stockmarket_trader_N : N ;
+  story_N : N ;
+  student_N : N ;
+  survey_N : N ;
+  swede_N : N ;
+  system_N : N ;
+  system_failure_N : N ;
+  taxi_N : N ;
+  temper_N : N ;
+  tenor_N : N ;
+  time_N : N ;
+  today_N : N ; 
+  traffic_N : N ;
+  train_N : N ;
+  university_graduate_N : N ;
+  university_student_N : N ;
+  week_N : N ;
+  wife_N : N ;
+  woman_N : N ;
+  workstation_N : N ;
+  world_N : N ;
+  year_N : N ;
+  
+-- PROPER NOUNS
+  alan_PN : PN ;
+  anderson_PN : PN ;
+  apcom_PN : PN ;
+  berlin_PN : PN ;
+  bill_PN : PN ;
+  birmingham_PN : PN ;
+  bt_PN : PN ;
+  bug_32985_PN : PN ;
+  cambridge_PN : PN ;
+  carl_PN : PN ;
+  dumbo_PN : PN ;
+  europe_PN : PN ;
+  fido_PN : PN ;
+  florence_PN : PN ;
+  frank_PN : PN ;
+  gfi_PN : PN ;
+  helen_PN : PN ;
+  icm_PN : PN ;
+  itel_PN : PN ;
+  john_PN : PN ;
+  jones_PN : PN ;
+  katmandu_PN : PN ;
+  kim_PN : PN ;
+  luxembourg_PN : PN ;
+  mary_PN : PN ;
+  mfi_PN : PN ;
+  mickey_PN : PN ;
+  mtalk_PN : PN ;
+  paris_PN : PN ;
+  pavarotti_PN : PN ;
+  peter_PN : PN ;
+  portugal_PN : PN ;
+  r95103_PN : PN ;
+  scandinavia_PN : PN ;
+  smith_PN : PN ;
+  southern_europe_PN : PN ;
+  sue_PN : PN ;
+  sweden_PN : PN ;
+  the_cia_PN : PN ;
+  the_m25_PN : PN ;
+  
+-- PRONOUNS
+  anyone_Pron : Pron ;
+  everyone_Pron : Pron ;
+  no_one_Pron : Pron ;
+  someone_Pron : Pron ;
+  nobody_Pron : Pron ;
+  sheRefl_Pron : Pron ;
+  heRefl_Pron : Pron ;
+  theyRefl_Pron : Pron ;
+  itRefl_Pron : Pron ;
+
+-- RELATIVE PRONOUNS
+  that_RP : RP ;
+  
+-- ADJECTIVES
+  ambitious_A : A ;
+  ancient_A : A ;
+  asleep_A : A ;
+  blue_A : A ;
+  british_A : A ;
+  broke_A : A ;
+  canadian_A : A ;
+  clever_A : A ;
+  competent_A : A ;
+  crucial_A : A ;
+  dedicated_A : A ;
+  different_A : A ;
+  employed_A : A ;
+  excellent_A : A ;
+  false_A : A ;
+  fast_A : A ;
+  fat_A : A ;
+  female_A : A ;
+  former_A : A ;
+  fourlegged_A : A ;
+  free_A : A ;
+  furious_A : A ;
+  genuine_A : A ;
+  german_A : A ;
+  great_A : A ;
+  important_A : A ;
+  impressed_by_A2 : A2 ;
+  indispensable_A : A ;
+  interesting_A : A ;
+  irish_A : A ;
+  italian_A : A ;
+  known_A : A ;
+  large_A : A ;
+  leading_A : A ;
+  legal_A : A ;
+  likely_A : A ;
+  major_A : A ;
+  male_A : A ;
+  many_A : A ;
+  missing_A : A ;
+  modest_A : A ;
+  national_A : A ;
+  new_A : A ;
+  north_american_A : A ;
+  noted_A : A ;
+  own_A : A ;
+  poor8bad_A : A ;
+  poor8penniless_A : A ;
+  portuguese_A : A ;
+  present8attending_A : A ;
+  present8current_A : A ;
+  previous_A : A ;
+  red_A : A ;
+  resident_A : A ;
+  scandinavian_A : A ;
+  serious_A : A ;
+  slow_A : A ;
+  small_A : A ;
+  successful_A : A ;
+  swedish_A : A ;
+  true_A : A ;
+  unemployed_A : A ;
+  western_A : A ;
+  
+-- VERBS
+  accept_V2 : V2 ;
+  allow_V2V : V2V ;
+  answer_V2 : V2 ;
+  appoint_V2 : V2 ;
+  arrive_in_V2 : V2 ;
+  attend_V2 : V2 ;
+  award_V3 : V3 ;
+  beat_V : V ;
+  become_V2 : V2 ;
+  believe_VS : VS ;
+  blame1_V2 : V2 ;
+  blame2_V2 : V2 ;
+  bring_V2V : V2V ;
+  build_V2 : V2 ;
+  buy_V2 : V2 ;
+  catch_V2 : V2 ;
+  chair_V2 : V2 ;
+  claim_VS : VS ;
+  come_cheap_VP : VP ;
+  come_in_V : V ;
+  continue_V : V ;
+  contribute_to_V3 : V3 ;
+  cost_V2 : V2 ;
+  crash_V : V ;
+  cross_out_V2 : V2 ;
+  deliver_V2 : V2 ;
+  deliver_V3 : V3 ;
+  destroy_V2 : V2 ;
+  develop_V2 : V2 ;
+  discover_V2 : V2 ;
+  discover_VS : VS ;
+  do_VV : VV ;
+  dupe_V2 : V2 ;
+  exist_V : V ;
+  expand_V : V ;
+  find_V2 : V2 ;
+  finish_V2 : V2 ;
+  finish_VV : VV ;
+  found_V2 : V2 ;
+  gamble_V : V ;
+  get_V2 : V2 ;
+  going_to_VV : VV ;
+  go8travel_V : V ;
+  go8walk_V : V ;
+  graduate_V : V ;
+  hate_V2 : V2 ;
+  hurt_V2 : V2 ;
+  increase_V : V ;
+  know_VQ : VQ ;
+  know_VS : VS ;
+  last_V2 : V2 ;
+  leave_V : V ;
+  leave_V2 : V2 ;
+  like_V2 : V2 ;
+  live_V : V ;
+  lose_V2 : V2 ;
+  maintain_V2 : V2 ;
+  make8become_V2 : V2 ;
+  make8do_V2 : V2 ;
+  manage_VV : VV ;
+  meet_V : V ;
+  need_V2 : V2 ;
+  need_VV : VV ;
+  obtain_from_V3 : V3 ;
+  open_V2 : V2 ;
+  own_V2 : V2 ;
+  pay_V2 : V2 ;
+  publish_V2 : V2 ;
+  put_in_V3 : V3 ;
+  read_V2 : V2 ;
+  read_out_V2 : V2 ;
+  remove_V2 : V2 ;
+  rent_from_V3 : V3 ;
+  represent_V2 : V2 ;
+  revise_V2 : V2 ;
+  run_V2 : V2 ;
+  say_VS : VS ;
+  see_V2V : V2V ;
+  sell_V2 : V2 ;
+  send_V2 : V2 ;
+  shall_VV : VV ;
+  sign_V2 : V2 ;
+  sing_V2 : V2 ;
+  speak_to_V2 : V2 ;
+  spend_V2 : V2 ;
+  start_V : V ;
+  start_VV : VV ;
+  stop_V : V ;
+  suggest_to_V2S : V2S ;
+  swim_V : V ;
+  take_V2 : V2 ;
+  take_V2V : V2V ;
+  take_part_in_V2 : V2 ;
+  tell_about_V3 : V3 ;
+  travel_V : V ;
+  try_VV : VV ;
+  update_V2 : V2 ;
+  use_V2 : V2 ;
+  use_VV : VV ;
+  vote_for_V2 : V2 ;
+  win_V2 : V2 ;
+  work_V : V ;
+  work_in_V2 : V2 ;
+  write_V2 : V2 ;
+  write_to_V2 : V2 ;
+
+  award_and_be_awarded_V2 : V2 ;
+  
+-- DETERMINERS
+  a_few_Det : Det ;
+  a_lot_of_Det : Det ;
+  another_Det : Det ;
+  anyPl_Det : Det ;
+  anySg_Det : Det ;
+  both_Det : Det ;
+  each_Det : Det ;
+  either_Det : Det ;
+  neither_Det : Det ;
+  one_or_more_Det : Det ;
+  several_Det : Det ;
+  twice_as_many_Det : Det ;
+
+  half_a_Card : Card ;
+
+  the_other_Q : Quant ;
+
+-- NUMERALS
+  N_one, N_two, N_three, N_four, N_five, N_six, N_eight, N_ten, N_eleven, N_sixteen, N_twenty, N_fortyfive : Numeral ;
+  N_2, N_4, N_8, N_10, N_13, N_14, N_15, N_99, N_100, N_150, N_500, N_2500, N_3000, N_5500 : Numeral ;
+  
+-- ADVERBS
+  anywhere_Adv : Adv ;
+  ever_since_Adv : Adv ;
+  late_Adv : Adv ;
+  long_Adv : Adv ;
+  over_Adv : Adv ;
+  part_time_Adv : Adv ;
+  together_Adv : Adv ;
+  too_Adv : Adv ;
+  twice_Adv : Adv ;
+  yesterday_Adv : Adv ;
+
+  at_home_Adv : Adv ;
+
+  all_AdV : AdV ;
+  already_AdV : AdV ;
+  also_AdV : AdV ;
+  currently_AdV : AdV ;
+  ever_AdV : AdV ;
+  never_AdV : AdV ;
+  now_AdV : AdV ;
+  still_AdV : AdV ;
+
+  really_AdA : AdA ;
+
+  more_than_AdN : AdN ;
+  less_than_AdN : AdN ;
+
+-- TIME & DATE EXPRESSIONS
+  at_8_am_Adv : Adv ;
+  at_a_quarter_past_five_Adv : Adv ;
+  at_five_oclock_Adv : Adv ;
+  at_four_oclock_Adv : Adv ;
+  by_11_am_Adv : Adv ;
+  for_8_years_Adv : Adv ;
+  for_a_total_of_15_years_or_more_Adv : Adv ;
+  for_a_year_Adv : Adv ;
+  for_an_hour_Adv : Adv ;
+  for_exactly_a_year_Adv : Adv ;
+  for_more_than_10_years_Adv : Adv ;
+  for_more_than_two_years_Adv : Adv ;
+  for_three_days_Adv : Adv ;
+  for_two_hours_Adv : Adv ;
+  for_two_years_Adv : Adv ;
+  friday_13th_Adv : Adv ;
+  from_1988_to_1992_Adv : Adv ;
+  in_1990_Adv : Adv ;
+  in_1991_Adv : Adv ;
+  in_1992_Adv : Adv ;
+  in_1993_Adv : Adv ;
+  in_1994_Adv : Adv ;
+  in_a_few_weeks_Adv : Adv ;
+  in_a_months_time_Adv : Adv ;
+  in_july_1994_Adv : Adv ;
+  in_march_Adv : Adv ;
+  in_march_1993_Adv : Adv ;
+  in_one_hour_Adv : Adv ;
+  in_the_coming_year_Adv : Adv ;
+  in_two_hours_Adv : Adv ;
+  on_friday_Adv : Adv ;
+  on_july_4th_1994_Adv : Adv ;
+  on_july_8th_1994_Adv : Adv ;
+  on_monday_Adv : Adv ;
+  on_the_5th_of_may_1995_Adv : Adv ;
+  on_the_7th_of_may_1995_Adv : Adv ;
+  on_thursday_Adv : Adv ;
+  on_tuesday_Adv : Adv ;
+  on_wednesday_Adv : Adv ;
+  since_1992_Adv : Adv ;
+  in_the_past_Adv : Adv ;
+  at_some_time_Adv : Adv ;
+  at_the_same_time_Adv : Adv ;
+  saturday_july_14th_Adv : Adv ;
+  the_15th_of_may_1995_Adv : Adv ;
+  year_1996_Adv : Adv ;
+
+  every_month_Adv : Adv ;
+  every_week_Adv : Adv ;
+  last_week_Adv : Adv ;
+  two_years_from_now_Adv : Adv ;
+  at_least_four_times : Adv ;
+  on_time_Adv : Adv ;
+
+-- PREPOSITIONS
+  at_Prep : Prep ;
+  outside_Prep : Prep ;
+  within_Prep : Prep ;
+  than_Prep : Prep ;
+  out_of_Prep : Prep ;
+
+-- PREDETERMINERS
+  at_least_Predet : Predet ;
+  at_most_Predet : Predet ;
+  exactly_Predet : Predet ;
+  just_Predet : Predet ;
+  most_of_Predet : Predet ;
+  
+-- CONJUNCTIONS
+  andSg_Conj : Conj ;
+  comma_and_Conj : Conj ;
+  semicolon_and_Conj : Conj ;
+  if_comma_then_Conj : Conj ;
+
+  after_Subj : Subj ;
+  before_Subj : Subj ;
+  until_Subj : Subj ;
+  while_Subj : Subj ;
+  than_Subj : Subj ;
+  since_Subj : Subj ;
+
+  that_is_PConj : PConj ;
+  and_PConj : PConj ;
+  then_PConj : PConj ;
+
+}