diff --git a/lib/doc/synopsis-intro.txt b/lib/doc/synopsis-intro.txt index 1f8fd6d74..35f4f0891 100644 --- a/lib/doc/synopsis-intro.txt +++ b/lib/doc/synopsis-intro.txt @@ -37,6 +37,9 @@ Other relevant documents: - [The RGL Status Document ./status.html]: the current status of different languages and the authors of each grammar - [RGL Source Browser ./browse]: look up functions and their source code +- [Minibar http://cloud.grammaticalframework.org/minibar/minibar.html]: + find resource grammar expressions by parsing (select Grammar: LibraryBrowser) + or test translations between all languages (select Grammar: ResourceDemo) - [Resource Grammar Tutorial http://www.grammaticalframework.org/doc/gf-lrec-2010.pdf] as presented in LREC-2010. - Paper "The GF Resource Grammar Library" by A. Ranta diff --git a/lib/doc/synopsis.html b/lib/doc/synopsis.html index df08344f4..e149b996e 100644 --- a/lib/doc/synopsis.html +++ b/lib/doc/synopsis.html @@ -55,6 +55,9 @@ Other relevant documents:
mkAP-> S -> APmkUtt (mkCl (mkVP (mkAP (mkAP good_A) (mkS (mkCl she_NP sleep_V))))) mkUtt (mkCl (mkVP (mkAP (mkAP good_A) (mkS (mkCl she_NP sleep_V))))) mkAP-> QS -> APmkUtt (mkCl (mkVP (mkAP (mkAP uncertain_A) (mkQS (mkQCl who_IP sleep_V))))) mkUtt (mkCl (mkVP (mkAP (mkAP uncertain_A) (mkQS (mkQCl who_IP sleep_V))))) mkAPmkAdv-> A -> S -> AdvmkUtt (mkAdv more_CAdv warm_A (mkS (mkCl he_NP run_V)) ) mkUtt (mkAdv more_CAdv warm_A (mkS (mkCl he_NP run_V)) ) mkAdvmkCN-> NP -> CNmkUtt (mkCN king_N (mkNP john_PN) ) mkUtt (mkCN king_N (mkNP john_PN) ) mkCN-> NP -> CNmkUtt (mkCN (mkCN old_A king_N) (mkNP john_PN)) mkUtt (mkCN (mkCN old_A king_N) (mkNP john_PN)) mkCl-> VPSlash -> NP -> ClmkCl-> A -> ClmkUtt (mkCl she_NP old_A) mkCl-> ClmkUtt (mkCl house_N) mkUtt (mkCl house_N) mkCl-> ClmkUtt (mkCl (mkCN old_A house_N)) mkUtt (mkCl (mkCN old_A house_N)) mkCl-> ClmkUtt (mkCl (mkNP many_Det house_N) ) mkUtt (mkCl (mkNP many_Det house_N) ) mkClmkCl-> ClmkUtt (mkCl rain_V0 ) mkUtt (mkCl rain_V0 ) mkCl-> ClmkUtt (mkCl (progressiveVP (mkVP rain_V0))) mkUtt (mkCl (progressiveVP (mkVP rain_V0))) mkClmkClSlash-> VPSlash -> ClSlashmkUtt (mkQCl who_IP (mkClSlash she_NP (mkVPSlash see_V2))) mkUtt (mkQCl who_IP (mkClSlash she_NP (mkVPSlash see_V2))) mkClSlash-> V2 -> ClSlashmkUtt (mkQCl who_IP (mkClSlash she_NP see_V2)) mkUtt (mkQCl who_IP (mkClSlash she_NP see_V2)) mkClSlashmkClSlash-> Adv -> ClSlashmkUtt (mkQCl who_IP (mkClSlash (mkClSlash she_NP see_V2) today_Adv)) mkUtt (mkQCl who_IP (mkClSlash (mkClSlash she_NP see_V2) today_Adv)) mkClSlashmkImp-> ImpmkUtt (mkImp (mkVP (mkVP come_V) (mkAdv to_Prep (mkNP i_Pron house_N)))) mkUtt (mkImp (mkVP (mkVP come_V) (mkAdv to_Prep (mkNP i_Pron house_N)))) mkImp-> ImpmkUtt (mkImp come_V) mkUtt (mkImp come_V) mkImp-> NP -> ImpmkUtt (mkImp buy_V2 it_NP) mkUtt (mkImp buy_V2 it_NP) pluralImpFormmkUtt pluralImpForm (mkImp (mkVP man_N)) mkUtt pluralImpForm (mkImp (mkVP man_N)) politeImpFormsingularImpFormmkUtt singularImpForm (mkImp (mkVP man_N)) mkUtt singularImpForm (mkImp (mkVP man_N)) mkNP-> Num -> CN -> NPmkUtt (mkNP this_Quant (mkNum (mkNumeral n5_Unit)) (mkCN old_A man_N)) mkUtt (mkNP this_Quant (mkNum (mkNumeral n5_Unit)) (mkCN old_A man_N)) mkNP-> Num -> N -> NPmkUtt (mkNP this_Quant (mkNum (mkNumeral n5_Unit)) man_N) mkUtt (mkNP this_Quant (mkNum (mkNumeral n5_Unit)) man_N) mkNP-> CN -> NPmkUtt (mkNP (mkDet the_Quant (mkNum (mkNumeral n5_Unit))) (mkCN old_A man_N)) mkUtt (mkNP (mkDet the_Quant (mkNum (mkNumeral n5_Unit))) (mkCN old_A man_N)) mkNP-> N -> NPmkUtt (mkNP (mkDet the_Quant (mkNum (mkNumeral n5_Unit))) man_N) mkUtt (mkNP (mkDet the_Quant (mkNum (mkNumeral n5_Unit))) man_N) mkNP-> CN -> NPmkUtt (mkNP (mkNumeral (tenfoldSub100 n5_Unit)) (mkCN old_A man_N)) mkUtt (mkNP (mkNumeral (tenfoldSub100 n5_Unit)) (mkCN old_A man_N)) mkNP-> N -> NPmkUtt (mkNP (mkNumeral (tenfoldSub100 n5_Unit)) man_N) mkUtt (mkNP (mkNumeral (tenfoldSub100 n5_Unit)) man_N) mkNP-> CN -> NPmkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) (mkCN old_A man_N)) mkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) (mkCN old_A man_N)) mkNP-> N -> NPmkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) man_N) mkUtt (mkNP (mkDigits n5_Dig (mkDigits n1_Dig)) man_N) mkNPmkPhr-> Utt -> (Voc) -> PhrmkPhr but_PConj (mkUtt (mkImp sleep_V)) (mkVoc (mkNP i_Pron friend_N)) mkPhr but_PConj (mkUtt (mkImp sleep_V)) (mkVoc (mkNP i_Pron friend_N)) mkPhrmkPhr-> PhrmkPhr (mkImp sleep_V) mkPhr (mkImp sleep_V) exclMarkPunctmkText (mkPhr yes_Utt) exclMarkPunct mkText (mkPhr yes_Utt) exclMarkPunct fullStopPunctmkText (mkPhr yes_Utt) fullStopPunct mkText (mkPhr yes_Utt) fullStopPunct questMarkPunctmkText (mkPhr yes_Utt) questMarkPunct mkText (mkPhr yes_Utt) questMarkPunct mkText-> (Punct) -> (Text) -> TextmkText (mkPhr (mkQS (mkCl she_NP sleep_V))) questMarkPunct (mkText (mkPhr yes_Utt) fullStopPunct) mkText (mkPhr (mkQS (mkCl she_NP sleep_V))) questMarkPunct (mkText (mkPhr yes_Utt) fullStopPunct) mkText-> TextmkText yes_Utt -> (Punct) -> (Text) -> TextmkText-> TextmkText (mkS pastTense (mkCl she_NP sleep_V)) mkText (mkS pastTense (mkCl she_NP sleep_V)) mkText-> TextmkText (mkCl she_NP sleep_V) mkText (mkCl she_NP sleep_V) mkText-> TextmkText (mkQS pastTense (mkQCl (mkCl she_NP sleep_V))) mkText (mkQS pastTense (mkQCl (mkCl she_NP sleep_V))) mkText-> Imp -> TextmkText negativePol (mkImp sleep_V) mkText negativePol (mkImp sleep_V) mkText-> Text -> TextmkText (mkText (mkPhr (mkUtt where_IAdv)) questMarkPunct (mkText (mkPhr (mkUtt here_Adv)))) (mkText (mkPhr (mkUtt when_IAdv)) questMarkPunct (mkText (mkPhr (mkUtt now_Adv)) exclMarkPunct)) mkText (mkText (mkPhr (mkUtt where_IAdv)) questMarkPunct (mkText (mkPhr (mkUtt here_Adv)))) (mkText (mkPhr (mkUtt when_IAdv)) questMarkPunct (mkText (mkPhr (mkUtt now_Adv)) exclMarkPunct)) mkVPSlash-> VPSlashmkUtt (mkQCl who_IP (mkClSlash she_NP (mkVPSlash see_V2))) mkUtt (mkQCl who_IP (mkClSlash she_NP (mkVPSlash see_V2))) mkVPSlash