(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.

plural of non-contact

Third-person singular simple present indicative form of reapprove

present participle of rear up