Schema Representation language
(SRL)
["SRL/2 Users Manual", J.M. Wright et al, Robotics Inst, CMU, 1984].