Domain:

crminf:I16 Meaning Comprehension

Range:

crminf:I13 Intended Meaning Belief

Quantification:

1,1:1,n

Subproperty of:

• crminf:I1 Argumentation → crminf:J2 concluded that (was concluded by) → crminf:I2 Belief

Scope note:

This property associates an instance of I16 Meaning Comprehension with the instance of I13 Intended Meaning Belief that was the result of the interpretation of the intended meaning of the analysed source(s).

Examples:

My understanding of the statements about Emperor Nero’s whereabouts in Rome while it was burning from July 19 in 64 AD (I16) interpreted meaning as believing that it meant Nero was singing in Rome while it was burning from July 19 in 64 AD (I13).

In First Order Logic:

• J23(x,y) ⇒ I16(x)
• J23(x,y) ⇒ I13(y)
• J23(x,y) ⇒ J2(x,y)