Schema Representation language

(SRL)

["SRL/2 Users Manual", J.M. Wright et al, Robotics Inst, CMU, 1984].