OCRA: Objects have a textual representation

woman(

name = "Mary",

competences = {competence(name = "French") /

strength(value = "medium")}

)

User-defined object identifiers:

man(

name = "John",

competences = {english / good, french / bad}

)

english : competence(name = "English")

french : competence(name = "French")

good : strength(value = "good")

bad : strength(value = "bad")

Note: predicate symbols and function symbols are not

distinguished-they are both class names.