TODO: reasoner: implement comparative relation

[PtrMan]

<(A * B) --> +bright>.

• add handling to parser
• add example/test NAL