mirror of
https://github.com/ganelson/inform.git
synced 2024-07-09 02:24:21 +03:00
17 lines
704 B
Plaintext
17 lines
704 B
Plaintext
'X = object': object
|
|
'first term of X': nothing
|
|
'second term of X': nothing
|
|
'Y = list of numbers': list of numbers
|
|
'first term of Y': number
|
|
'second term of Y': nothing
|
|
'Z = relation of texts to numbers': relation of texts to numbers
|
|
'first term of Z': text
|
|
'second term of Z': number
|
|
'W = phrase (relation of texts to numbers, text) -> truth state': phrase (relation of texts to numbers, text) -> truth state
|
|
'first term of W': relation of texts to numbers, text
|
|
'first term of first term of W': relation of texts to numbers
|
|
'first term of first term of first term of W': text
|
|
'second term of first term of first term of W': number
|
|
'second term of first term of W': text
|
|
'second term of W': truth state
|