situation-calculus public under concept 1247 List Picture As a command Nothing is filed under situation-calculus.