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