Functions for a Semantic IDE
Concretizations: People --> Someone --> Trishka
Concretization and reverse Concretization: CONCR(People)= Someone / rCONCR(Someone)= People
Metaphor: rCONCR(Richard) = courageous / CONCR(courageous) = lion
in other words: CONCR( rCONCR(Richard)) = lion
Summary hierarchy (the theme "error" is in red):
People tend to repeat their errors.
Someone tries to correct an error, but repeats it.
Trishka tried to repair his garment.
Trishka's caftan needed mending.
Trishka's caftan needed mending at the elbows.
Trishka's caftan got torn at the elbows.
|
|
|
|
ERROR
|
|
|
| People |
tend to |
repeat |
their |
errors. |
|
|
| Someone |
tries to |
but repeats it. |
|
correct
an error,
|
|
|
| Trishka |
tried to |
|
|
repair |
his garment. |
|
| Trishka's |
#
|
|
|
needed mending. |
caftan |
|
+
|
|
|
|
needed mending. |
+
|
at the elbows. |
+
|
|
|
|
got
torn |
+
|
+
|