added Facebook grammar from SummerSchool tutorial on best practices for grammar writing

This commit is contained in:
ramona.enache
2013-08-21 13:05:22 +00:00
parent 1f4b55735e
commit 9f1a2e5b67
6 changed files with 109 additions and 0 deletions

View File

@@ -0,0 +1,35 @@
abstract Facebook = {
flags startcat = Action ;
cat
SPerson;
Person;
Place;
Page;
Action;
Item ;
fun
CheckIn : SPerson -> Place -> Action ;
BeFriends : SPerson -> Person -> Action ;
Like : SPerson -> Item -> Action ;
SPersonToPerson : SPerson -> Person ;
MorePersons : SPerson -> Person -> Person ;
PlaceToItem : Place -> Item ;
PageToItem : Page -> Item ;
ActionToItem : Action -> Item ;
---------
You : SPerson ;
John : SPerson;
Mary : SPerson;
Frauinsel : Place;
GF : Page;
}