Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Typo in example #135

Open
jacopopiogargano opened this issue May 12, 2020 · 0 comments
Open

Typo in example #135

jacopopiogargano opened this issue May 12, 2020 · 0 comments

Comments

@jacopopiogargano
Copy link

jacopopiogargano commented May 12, 2020 •
edited
Loading

With reference to Example "Course Enrolment Management", I believe there is a typo here:
"There are two binary predicates, Tutors a sub-set of Person x Person, and Teaches a sub-set of Person x Teaches."
It should be Person x Class
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jacopopiogargano