Assertion: logic's operator | /r/HasProperty | interpreted by relations \(sr_q t\
Facets:
Source sentences:
text: Another generalization is to express facts about sequences \(q\) of moves, by introducing operators interpreted by relations \(sR_q t\) indicating that the sequence \(q\) starting from s eventually arrives at \(t\).