• María's avatar
    prefix y PO axiom · 02ddcf39
    María authored
    change prefix to s4envi
    change axiom in PhysicalObject about contains
    02ddcf39