_________ என்பது ஒரு நிரல் தர்க்கத்தின் வரைபட பிரதிநிதித்துவம் ஆகும்.