prag($varinst,8, index(1)). prag($inst_varinst_h,8,index(2)). prag($inst_varinst_b,8,index(2)). prag($inst_varinst_hf,8,index(3)). prag($inst_varinst_hs,8,index(3)). prag($inst_varinst_bf,8,index(3)). prag($inst_varinst_bs,8,index(3)). prag($coninst,5, index). prag($strinst,4, index). prag($varsubinst,7, index(1)). prag($inst_varsubinst_h,7,index(2)). prag($inst_varsubinst_b,7,index(2)). prag($inst_varsubinst_hf,7,index(3)). prag($inst_varsubinst_hs,7,index(3)). prag($inst_varsubinst_bf,7,index(3)). prag($inst_varsubinst_bs,7,index(3)). prag($consubinst,3, index).