Demo Applet for CGIF Parser and Generator Components of Notio
Last Modified: 98/07/18
The first translation may be slow while the class archive is expanded.
Here are some sample expressions which may be copied and pasted into the input
area:
- []
- [Dog'Molly']
- [Dog*x'Molly'][Man*y'Arthur'](Loves?x?y)
- [Dog*x'Molly'][Man*y'Arthur'][Bone*z](Loves?x?y)(Throws?y?z)(Catches?x?z)
- [Dog*x{'Molly','Alice'}][Man*y'Arthur'](Loves?x?y)
- [Dog*x;This is a comment about this concept][Man*y'Arthur'](Loves?x?y)
- [Man*x'Arthur'][Woman*y'Arthur\'s Wife'](Loves?x?y)(Loves?y?x)
- [Dog*x](Loves?x[Bone])
- [Dog*x][Man*y](Loves?x[Bone*z])(Throws?y?z)
- (Loves[Dog][Bone])
- (Loves[Dog][Bone*x])(Throws[Man]?x)
- [Dog*x][Man*y]<ActsOn?x|?y>